Parent Directory | Revision Log | Patch
revision 1.22 by spiralvoice, Sun Mar 20 01:41:30 2005 UTC | revision 1.23 by spiralvoice, Mon Aug 1 23:53:54 2005 UTC | |
---|---|---|
# | Line 775 let manage_hosts () = H.manage_hosts () | Line 775 let manage_hosts () = H.manage_hosts () |
775 | (* MAIN *) | (* MAIN *) |
776 | (* *) | (* *) |
777 | (*************************************************************************) | (*************************************************************************) |
778 | ||
779 | let ft_boot () = () | |
780 | ||
781 | let _ = | let _ = |
782 | server_ops.op_server_disconnect <- | server_ops.op_server_disconnect <- |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |