/[mldonkey]/mldonkey/src/daemon/driver/driverInterface.ml
ViewVC logotype

Diff of /mldonkey/src/daemon/driver/driverInterface.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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                                

Legend:
Removed from v.1.31  
changed lines
  Added in v.1.32

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26