diff options
Diffstat (limited to 'rpkid/rpkid.py')
-rwxr-xr-x | rpkid/rpkid.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rpkid/rpkid.py b/rpkid/rpkid.py index e9f16941..0990c39d 100755 --- a/rpkid/rpkid.py +++ b/rpkid/rpkid.py @@ -37,8 +37,8 @@ rpki.log.init("rpkid") cfg_file = "rpkid.conf" profile = None -opts,argv = getopt.getopt(sys.argv[1:], "c:hp:?", ["config=", "help", "profile="]) -for o,a in opts: +opts, argv = getopt.getopt(sys.argv[1:], "c:hp:?", ["config=", "help", "profile="]) +for o, a in opts: if o in ("-h", "--help", "-?"): print __doc__ sys.exit(0) |