| 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.