Parent Directory | Revision Log | Patch
revision 1.68 by spiralvoice, Sun Aug 28 10:49:49 2005 UTC | revision 1.69 by spiralvoice, Sun Aug 28 11:09:14 2005 UTC | |
---|---|---|
# | Line 645 for config files at the end. *) | Line 645 for config files at the end. *) |
645 | lprintf_nl (_b "Exiting..."); | lprintf_nl (_b "Exiting..."); |
646 | exit 73; | exit 73; |
647 | end; | end; |
648 | Unix32.external_start (); | Unix32.external_start (CommonGlobals.version()); |
649 | CommonGlobals.do_at_exit (fun _ -> | CommonGlobals.do_at_exit (fun _ -> |
650 | (* If we have an error with too many file-descriptors, | (* If we have an error with too many file-descriptors, |
651 | just close all of them *) | just close all of them *) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |