hope I got the merge wright...

[monitor.git] / Rpyc / Servers / std_server.py

diff --git a/Rpyc/Servers/std_server.py b/Rpyc/Servers/std_server.py
deleted file mode 100644 (file)
index c556b83..0000000
--- a/Rpyc/Servers/std_server.py
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/usr/bin/env python
-# 
-# installation instructions
-#  * add a service in /etc/services for rpyc: tcp port 18812
-#  * add "rpyc .... /usr/lib/pythonXX/site-packages/Rpyc/Servers/std_server.py"
-#    to /etc/inetd.conf (i dont remember syntax, rtfm)
-#  * dont forget to chmod +x this file
-#  * restart inetd with sighup
-#
-import sys
-import time
-from traceback import format_exception
-from ServerUtils import log, serve_pipes
-
-
-def main(filename = "/tmp/rpyc-server.log"):
-    log.logfile = open(filename, "a")
-    log("-" * 80)
-    log("started serving at", time.asctime())
-    try:
-        try:
-            serve_pipes(sys.stdin, sys.stdout)
-        except:
-            log(*format_exception(*sys.exc_info()))
-    finally:
-        log("server exits at", time.asctime())
-
-if __name__ == "__main__":
-    main()
-    
-    
\ No newline at end of file