diff options
author | Jack Jansen <jack.jansen@cwi.nl> | 2000-09-22 21:50:11 (GMT) |
---|---|---|
committer | Jack Jansen <jack.jansen@cwi.nl> | 2000-09-22 21:50:11 (GMT) |
commit | 4a5eb967b8b50bfc301d83d5d3234501db8f0a17 (patch) | |
tree | 8ab8ff50606d5050420d605638206942403acbb4 /Mac/Lib | |
parent | e126233cd984d33644d26227842cf6f4360446d9 (diff) | |
download | cpython-4a5eb967b8b50bfc301d83d5d3234501db8f0a17.zip cpython-4a5eb967b8b50bfc301d83d5d3234501db8f0a17.tar.gz cpython-4a5eb967b8b50bfc301d83d5d3234501db8f0a17.tar.bz2 |
Keepconsole is now a 4-way option: never/errorexit/unseen output/always. Default is "unseen output". Upped the Popt version number.
Diffstat (limited to 'Mac/Lib')
-rw-r--r-- | Mac/Lib/pythonprefs.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Mac/Lib/pythonprefs.py b/Mac/Lib/pythonprefs.py index 916ec9f..81d095f 100644 --- a/Mac/Lib/pythonprefs.py +++ b/Mac/Lib/pythonprefs.py @@ -16,7 +16,7 @@ OVERRIDE_POPT_ID = 229 OVERRIDE_GUSI_ID = 10241 # version -CUR_VERSION=5 +CUR_VERSION=6 preffilename = PstringLoader(AnyResLoader('STR ', resname=PREFNAME_NAME)).load() pref_fss = preferencefile(preffilename, 'Pyth', 'pref') @@ -88,7 +88,7 @@ class PythonOptions: dict['creator'], dict['type'], dict['delayconsole'] = self.gusi.load() flags = self.popt.load() dict['version'], dict['inspect'], dict['verbose'], dict['optimize'], \ - dict['unbuffered'], dict['debugging'], dict['keepopen'], dict['keeperror'], \ + dict['unbuffered'], dict['debugging'], dummy, dict['keep_console'], \ dict['nointopt'], dict['noargs'], dict['tabwarn'], \ dict['nosite'], dict['nonavservice'] = flags return dict @@ -99,7 +99,7 @@ class PythonOptions: self.dir.save(diralias) self.gusi.save((dict['creator'], dict['type'], dict['delayconsole'])) flags = dict['version'], dict['inspect'], dict['verbose'], dict['optimize'], \ - dict['unbuffered'], dict['debugging'], dict['keepopen'], dict['keeperror'], \ + dict['unbuffered'], dict['debugging'], 0, dict['keep_console'], \ dict['nointopt'], dict['noargs'], dict['tabwarn'], \ dict['nosite'], dict['nonavservice'] self.popt.save(flags) |