equal
deleted
inserted
replaced
149 |
149 |
150 def write_err(self, *args): |
150 def write_err(self, *args): |
151 if not sys.stdout.closed: sys.stdout.flush() |
151 if not sys.stdout.closed: sys.stdout.flush() |
152 for a in args: |
152 for a in args: |
153 sys.stderr.write(str(a)) |
153 sys.stderr.write(str(a)) |
|
154 |
|
155 def flush(self): |
|
156 try: |
|
157 sys.stdout.flush() |
|
158 finally: |
|
159 sys.stderr.flush() |
154 |
160 |
155 def readline(self): |
161 def readline(self): |
156 return sys.stdin.readline()[:-1] |
162 return sys.stdin.readline()[:-1] |
157 def prompt(self, msg, pat, default="y"): |
163 def prompt(self, msg, pat, default="y"): |
158 if not self.interactive: return default |
164 if not self.interactive: return default |