*** empty log message ***

diff --git a/bin/server.py b/bin/server.py
index 4c3554572dd0faab50a565e53784a809a14f2700..5bd61799d0e88b0ec203bfc71b78dff9884ec1e7 100755 (executable)
--- a/bin/server.py
+++ b/bin/server.py
@@ -89,4 +89,8 @@ class Server:
         #I am a daemon
         os.close(0) #close stdin
         os.open("/dev/null", os.O_RDWR)  # redirect standard input (0) to /dev/null
-        os.execvp(args[0], args)
+        try:
+          os.execvp(args[0], args)
+        except OSError, e:
+          print >>sys.stderr, "(%s) launch failed: %d (%s)" % (args[0],e.errno, e.strerror)
+          os._exit(127)