| commit | 3e6c80bf5edfc8b9fff06cdb26af532d6894c9a2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 15:31:25 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 15:31:25 2002 +0000 |
| tree | caccd36c5fb37470852f730490738cf09a4e611c | |
| parent | ba1c13db4fbebd7fd1917937a0fe3822068dfc5e [diff] |
Hmm, in some cases we don't seem to get our scriptname in argv[0]. Cater for that by working from sys.executable.