version 1.46, 1996/12/13 22:06:38
|
version 1.47, 1996/12/23 21:06:23
|
Line 257 PRIVATE void Cleanup (Robot * me, int st
|
Line 257 PRIVATE void Cleanup (Robot * me, int st
|
{ |
{ |
Robot_delete(me); |
Robot_delete(me); |
HTProfile_delete(); |
HTProfile_delete(); |
|
#ifdef MEMLOG |
HTMemLog_close(); |
HTMemLog_close(); |
|
#endif |
|
|
#ifdef VMS |
#ifdef VMS |
exit(status ? status : 1); |
exit(status ? status : 1); |
#else |
#else |
Line 282 PRIVATE void SetSignal (void)
|
Line 285 PRIVATE void SetSignal (void)
|
} else { |
} else { |
if (PROT_TRACE) HTTrace("HTSignal.... Ignoring SIGPIPE\n"); |
if (PROT_TRACE) HTTrace("HTSignal.... Ignoring SIGPIPE\n"); |
} |
} |
|
|
|
#ifdef MEMLOG |
HTMemLog_flush(); |
HTMemLog_flush(); |
|
#endif |
|
|
} |
} |
#endif /* CATCH_SIG */ |
#endif /* CATCH_SIG */ |
|
|
Line 455 int main (int argc, char ** argv)
|
Line 462 int main (int argc, char ** argv)
|
argc=ccommand(&argv); |
argc=ccommand(&argv); |
#endif |
#endif |
|
|
|
#ifdef MEMLOG |
HTMemLog_open("data.log", 8192, YES); |
HTMemLog_open("data.log", 8192, YES); |
/* HTFakeReader_init ("readz", "elements", NO); */ |
#endif |
|
|
/* Initiate W3C Reference Library with a robot profile */ |
/* Initiate W3C Reference Library with a robot profile */ |
HTProfile_newRobot(APP_NAME, APP_VERSION); |
HTProfile_newRobot(APP_NAME, APP_VERSION); |
Line 571 int main (int argc, char ** argv)
|
Line 579 int main (int argc, char ** argv)
|
} |
} |
|
|
/* Testing that HTTrace is working */ |
/* Testing that HTTrace is working */ |
HTTrace ("Welcome to the W3C mini Robot\n"); |
if (SHOW_MSG) HTTrace ("Welcome to the W3C mini Robot\n"); |
|
|
/* Rule file specified? */ |
/* Rule file specified? */ |
if (mr->rules) { |
if (mr->rules) { |