commit | 4af4d273bd2c18e8e3d56dc43a877ce04a5a1e13 | [log] [tgz] |
---|---|---|
author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Aug 26 14:00:39 2013 +0300 |
committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Aug 26 14:00:39 2013 +0300 |
tree | 1b07a0c8681efe626643ca7a56053fd47db1908c | |
parent | ca4d97ea8a9d10953c575477736a5058497bd108 [diff] |
#18839: document that sys.exit() will not accept a non-integer numeric value as exit status.