version 1.6, 2001/07/12 10:01:39
|
version 1.7, 2001/08/01 08:23:18
|
Line 35 void input_endstream (stream_descr *s);
|
Line 35 void input_endstream (stream_descr *s);
|
void input_endstreamkill (stream_descr *s); |
void input_endstreamkill (stream_descr *s); |
void input_closestream (stream_descr *s); |
void input_closestream (stream_descr *s); |
boolean split_something (void); |
boolean split_something (void); |
|
int input_tssiinafilerange (int pid); |
file_descr *input_filehandle (int handle); |
file_descr *input_filehandle (int handle); |
file_descr *input_filereferenced (int filerefnum, |
file_descr *input_filereferenced (int filerefnum, |
char *filename); |
char *filename); |