Show More
@@ -58,7 +58,10 b' def split_user_input(line, pattern=None):' | |||
|
58 | 58 | """ |
|
59 | 59 | # We need to ensure that the rest of this routine deals only with unicode |
|
60 | 60 | if type(line)==str: |
|
61 |
|
|
|
61 | codec = sys.stdin.encoding | |
|
62 | if codec is None: | |
|
63 | codec = 'utf-8' | |
|
64 | line = line.decode(codec) | |
|
62 | 65 | |
|
63 | 66 | if pattern is None: |
|
64 | 67 | pattern = line_split |
General Comments 0
You need to be logged in to leave comments.
Login now