Parent Directory | Revision Log | Patch
revision 1.31 by spiralvoice, Thu Sep 1 00:04:12 2005 UTC | revision 1.32 by spiralvoice, Tue Sep 6 11:29:11 2005 UTC | |
---|---|---|
# | Line 665 let gui_reader (gui: gui_record) t _ = | Line 665 let gui_reader (gui: gui_record) t _ = |
665 | network_extend_search r s e) | network_extend_search r s e) |
666 | ||
667 | | P.KillServer -> | | P.KillServer -> |
668 | exit_properly 0 | CommonInteractive.clean_exit 0 |
669 | ||
670 | | P.Search_query s -> | | P.Search_query s -> |
671 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |