From: Marco Yuen Date: Sun, 25 Sep 2011 01:05:41 +0000 (-0400) Subject: Merge branch 'master' of ssh://git.planet-lab.org/git/pyplnet X-Git-Tag: pyplnet-4.3-11~1 X-Git-Url: http://git.onelab.eu/?p=pyplnet.git;a=commitdiff_plain;h=aa37e14cd7e5c75792277aebb245cd5699873f68;hp=89c9ac68d14ef1cdab96d4face9913a18bb58f00 Merge branch 'master' of ssh://git.planet-lab.org/git/pyplnet --- diff --git a/plnet.py b/plnet.py index 9768c30..8ce9428 100755 --- a/plnet.py +++ b/plnet.py @@ -455,8 +455,6 @@ if __name__ == "__main__": parser.add_option("-p", "--program", action="store", type="string", dest="program", default="plnet") (options, args) = parser.parse_args() - options.root = '' - options.verbose = True if len(args) != 1 or options.root is None: print sys.argv print >>sys.stderr, "Missing root or node_id"