1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
/* $Id: exec.h,v 1.1.1.1 2000/06/22 09:34:34 edwards Exp $ */
/*
* exec.h: header for exec.c
*
* Copyright 1990 Michael Sandrof
* Copyright 1997 EPIC Software Labs
* See the Copyright file for license information
*/
#ifndef __exec_h__
#define __exec_h__
BUILT_IN_COMMAND(execcmd);
void do_processes (fd_set *);
int get_child_exit (pid_t);
void clean_up_processes (void);
int text_to_process (int, const char *, int);
void exec_server_delete (int);
void add_process_wait (int, const char *);
int get_process_index (char **); /* XXXX */
int is_valid_process (const char *);
int process_is_running (char *);
int logical_to_index (const char *logical);
void kill_process (int, int);
void set_process_bits (fd_set *);
#endif /* _EXEC_H_ */
|
