[minion-cvs] Add stop-server, reload-server commands.

[nickm@seul.org (Nick Mathewson)]

Update of /home/minion/cvsroot/src/minion/lib/mixminion
In directory moria.mit.edu:/tmp/cvs-serv15992/lib/mixminion

Modified Files:
	Main.py 
Log Message:
Add stop-server, reload-server commands.

Yeah, I know that you can just run 'kill -TERM `cat pid`', but this is
a frequently-requested feature.


Index: Main.py
===================================================================
RCS file: /home/minion/cvsroot/src/minion/lib/mixminion/Main.py,v
retrieving revision 1.31
retrieving revision 1.32
diff -u -d -r1.31 -r1.32
--- Main.py	13 Feb 2003 10:56:40 -0000	1.31
+++ Main.py	14 Feb 2003 17:22:21 -0000	1.32
@@ -129,6 +129,9 @@
     "flush" :          ( 'mixminion.ClientMain', 'flushPool' ),
     "inspect-pool" :   ( 'mixminion.ClientMain', 'listPool' ),
     "server" :         ( 'mixminion.server.ServerMain', 'runServer' ),
+    "start-server" :   ( 'mixminion.server.ServerMain', 'runServer' ),
+    "stop-server" :    ( 'mixminion.server.ServerMain', 'signalServer' ),
+    "reload-server" :  ( 'mixminion.server.ServerMain', 'signalServer' ),  
     "server-keygen" :  ( 'mixminion.server.ServerMain', 'runKeygen'),
     "server-DELKEYS" : ( 'mixminion.server.ServerMain', 'removeKeys'),
     "dir":             ( 'mixminion.directory.DirMain', 'main'),
@@ -151,6 +154,8 @@
   "       inspect-surbs  [Describe a single-use reply block]\n"+
   "                               (For Servers)\n"+
   "       server         [Begin running a Mixminon server]\n"+
+  "       stop-server    [Halt a running Mixminon server]\n"+
+  "       reload-server  [Make running Mixminon server reload its config]\n"+
   "       server-keygen  [Generate keys for a Mixminion server]\n"+
   "       server-DELKEYS [Remove generated keys for a Mixminion server]\n"+
   "                             (For Developers)\n"+