Toshio Kuratomi
5ceabe939d
Fix the pause module for python3
...
* On python3, stdin goes through a buffer that translates from raw bytes
to text. this interferes with pause as it (1) performs universal
newline conversion and therefore '\r' is turned into '\n' and (2) the
buffering prevents us from getting the typed characters immediately
(possibly a python3 bug?) Using the raw byte stream that's behind the
text decoder fixes these problems.
Unrelated cleanups:
* Use to_text instead of str for conversion into strings to avoid possible tracebacks
* Use either \r or \n as the end of a line.
Fixes #26278
Resolves #26446
2017-07-06 19:21:42 -07:00
..
2017-07-03 15:27:53 -04:00
2017-06-01 10:45:19 +01:00
2017-06-02 12:14:11 +01:00
2017-06-02 12:14:11 +01:00
2017-06-02 12:14:11 +01:00
2016-09-20 10:52:21 -05:00
2017-05-19 08:42:36 +01:00
2017-05-19 08:42:55 +01:00
2017-06-06 13:56:25 +05:30
2017-06-02 12:14:11 +01:00
2017-03-23 13:35:05 -07:00
2017-03-30 15:26:32 +02:00
2017-06-06 13:56:25 +05:30
2017-03-27 19:32:57 +01:00
2017-06-06 13:56:25 +05:30
2017-03-27 19:32:57 +01:00
2017-06-06 13:56:25 +05:30
2017-02-13 20:22:10 -05:00
2017-06-02 12:14:11 +01:00
2017-06-06 13:56:25 +05:30
2015-10-22 16:07:26 -07:00
2017-06-13 10:37:14 -04:00
2017-06-02 12:14:11 +01:00
2017-06-28 15:25:45 -04:00
2017-02-13 15:22:14 +00:00
2017-06-02 12:14:11 +01:00
2017-06-06 13:56:25 +05:30
2017-02-15 10:47:02 -05:00
2017-06-02 12:14:11 +01:00
2017-06-06 13:56:25 +05:30
2017-06-06 13:56:25 +05:30
2017-06-02 12:14:11 +01:00
2017-06-06 13:56:25 +05:30
2017-06-02 17:01:08 +02:00
2017-07-06 14:10:29 +02:00
2017-06-02 22:03:27 +05:30
2017-02-15 12:46:30 -05:00
2017-06-16 22:12:50 +05:30
2017-07-05 11:15:19 +05:30
2017-07-06 21:02:25 +02:00
2017-07-06 11:12:05 +02:00
2017-07-03 15:31:59 +05:30
2017-06-26 11:23:33 +02:00
2017-06-02 14:06:38 +02:00
2017-02-15 12:46:30 -05:00
2017-06-06 20:05:08 +05:30
2017-06-06 11:45:02 +02:00
2017-06-09 13:33:11 +02:00
2017-05-11 18:43:44 +05:30
2017-06-02 12:14:11 +01:00
2017-02-15 11:43:09 -05:00
2017-06-02 12:14:11 +01:00
2017-06-06 13:56:25 +05:30
2017-06-02 12:14:11 +01:00
2017-06-02 12:14:11 +01:00
2017-06-02 12:14:11 +01:00
2017-06-02 12:14:11 +01:00
2017-07-06 19:21:42 -07:00
2017-05-30 14:56:31 -07:00
2017-06-02 12:14:11 +01:00
2017-06-02 12:14:11 +01:00
2017-03-23 13:35:05 -07:00
2017-06-02 12:14:11 +01:00
2017-06-02 12:14:11 +01:00
2017-06-06 13:56:25 +05:30
2017-06-28 17:41:01 -07:00
2017-06-30 14:40:38 -04:00
2017-06-02 12:14:11 +01:00
2017-02-25 21:14:40 -05:00
2017-06-06 13:56:25 +05:30
2017-03-01 11:00:49 -08:00
2015-10-22 16:07:26 -07:00
2017-01-16 14:28:18 -08:00
2017-03-23 19:47:10 -07:00