diff options
Diffstat (limited to 'tools/examples')
| -rwxr-xr-x | tools/examples/createlinuxdom.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/examples/createlinuxdom.py b/tools/examples/createlinuxdom.py index e183b422f8..1f54841cd3 100755 --- a/tools/examples/createlinuxdom.py +++ b/tools/examples/createlinuxdom.py @@ -14,7 +14,7 @@ import Xc, XenoUtil, string, sys, os, time, socket # initialize a few variables that might come in handy thishostname = socket.gethostname() guestid = 0 -if sys.argv >= 2: +if len(sys.argv) >= 2: guestid = string.atoi(sys.argv[1]) print "Offset to add to guest's IP etc : %d\n" % guestid |