From ee5debadd690ca9336334a491d48a1155101177b Mon Sep 17 00:00:00 2001
From: caremoli <caremoli>
Date: Wed, 26 Sep 2007 08:38:28 +0000
Subject: [PATCH] *** empty log message ***

---
 bin/server.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/bin/server.py b/bin/server.py
index 4c3554572..5bd61799d 100755
--- 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)
-- 
2.39.2