Show More
@@ -58,7 +58,10 b' def split_user_input(line, pattern=None):' | |||||
58 | """ |
|
58 | """ | |
59 | # We need to ensure that the rest of this routine deals only with unicode |
|
59 | # We need to ensure that the rest of this routine deals only with unicode | |
60 | if type(line)==str: |
|
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 | if pattern is None: |
|
66 | if pattern is None: | |
64 | pattern = line_split |
|
67 | pattern = line_split |
General Comments 0
You need to be logged in to leave comments.
Login now