40 #ifndef __EST_IO_AUX_H__ 
   41 #define __EST_IO_AUX_H__ 
   44 #include "EST_common.h" 
   45 #include "EST_String.h" 
   46 #include "EST_types.h" 
   50 int writable_file(
char *filename);
 
   51 int readable_file(
char *filename);
 
   58     return (unlink(filename) == 0);
 
   71 #define numeric_char(in) (((in < '9' ) && (in > '0')) ? TRUE : FALSE) 
   75 typedef SOCKET SOCKET_FD;
 
   77 typedef int SOCKET_FD;
 
   79 int socket_receive_file(SOCKET_FD fd, 
const EST_String &filename);
 
   80 int socket_send_file(SOCKET_FD fd, 
const EST_String &filename);