/*
/************************************************************************/
+int gdb_Options=0; /* GDB options are set here */
+
int gdb_Debug=0; /* debugging flags are */
/* stored here */
FILE *gdb_log = stderr; /* all debugging */
fd_set gdb_crfds, gdb_cwfds, gdb_cefds; /* connection related file */
/* descriptor maps to be */
/* used in select */
+fd_set last_crfds, last_cwfds, last_cefds; /* these file desc. bit */
+ /* masks are set up */
+ /* for each select call */
+ /* to include the user */
+ /* supplied and the */
+ /* connection related */
+ /* fd's */
+
/*----------------------------------------------------------*/
/*
/* gdb_notime