Changeset 92

Show
Ignore:
Timestamp:
06/01/04 21:00:25 (5 years ago)
Author:
jajcus
Message:

- profile option handling fixed again

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/jjigw.py

    r90 r92  
    4545        sys.exit(1) 
    4646 
    47 if sys.argv[1]=='--profile': 
     47if '--profile' in sys.argv: 
    4848    import profile 
    49     sys.argv[1:]=sys.argv[2:] 
     49    sys.argv.remove('--profile') 
    5050    profile.run("main(profile=True)","jjigw.prof") 
    5151else: