Small fix to proxy.py

diff --git a/scripts/proxy.py b/scripts/proxy.py
index c39c3d42e3fd8cb58e965c002f888e86fc0f4a32..ad49bc2bbce0d847e0129a49f32fbf52d236a6ce 100755 (executable)
--- a/scripts/proxy.py
+++ b/scripts/proxy.py
@@ -88,7 +88,7 @@ if __name__ == "__main__":
                else:
                        daemon = False
                        config = sys.argv[1]
-       except ValueError:
+       except (IndexError, ValueError):
                print >>sys.stderr, "Usage: %s [-d] config" % sys.argv[0]
                sys.exit(1)