diff options
-rwxr-xr-x | src/launch-without-proxy-settings.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/launch-without-proxy-settings.py b/src/launch-without-proxy-settings.py index fc09a6e..d639e4c 100755 --- a/src/launch-without-proxy-settings.py +++ b/src/launch-without-proxy-settings.py @@ -25,7 +25,9 @@ except Exception, e: print e; pass -if len(sys.argv) >= 1: - print "launching " + sys.argv[1]; - call([sys.argv[1]]); +if len(sys.argv) > 1: + print "launching ", + print sys.argv[1:]; + + call(sys.argv[1:]); |