Parent Directory | Revision Log | Patch
revision 1.51 by spiralvoice, Sun Jul 10 23:19:16 2005 UTC | revision 1.52 by spiralvoice, Tue Jul 12 23:11:41 2005 UTC | |
---|---|---|
# | Line 583 http://mldonkey.berlios.de/modules.php?n | Line 583 http://mldonkey.berlios.de/modules.php?n |
583 | ||
584 | if Autoconf.system <> "windows" then | if Autoconf.system <> "windows" then |
585 | MlUnix.set_signal Sys.sighup | MlUnix.set_signal Sys.sighup |
586 | (Sys.Signal_handle (fun _ -> lprintf_nl "SIGHUP"; | (Sys.Signal_handle (fun _ -> lprintf "SIGHUP"; |
587 | BasicSocket.close_all (); | BasicSocket.close_all (); |
588 | Unix32.close_all (); | Unix32.close_all (); |
589 | CommonGlobals.print_localtime ();)); | CommonGlobals.print_localtime ();)); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |