diff options
| -rw-r--r-- | Lib/rexec.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Lib/rexec.py b/Lib/rexec.py index 081fe27..4db442e 100644 --- a/Lib/rexec.py +++ b/Lib/rexec.py @@ -143,7 +143,7 @@ class RExec(ihooks._Verbose): 'stat', 'times', 'uname', 'getpid', 'getppid', 'getcwd', 'getuid', 'getgid', 'geteuid', 'getegid') - ok_sys_names = ('ps1', 'ps2', 'copyright', 'version', + ok_sys_names = ('ps1', 'ps2', 'copyright', 'version', 'hexversion', 'platform', 'exit', 'maxint') nok_builtin_names = ('open', 'file', 'reload', '__import__') |