| commit | f03c692357275625a92b2d266d51de83b5ea932b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 26 11:34:49 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 26 11:34:49 2002 +0000 |
| tree | 5671caa219d32c3cbf5b0e0560e20218a4196152 | |
| parent | aeb6a60e03f6fa7c093fa88342f6502627add8e7 [diff] |
Use os.environ.get() in stead of os.getenv() (which is platform-dependent).