equal
deleted
inserted
replaced
195 except IOError, inst: |
195 except IOError, inst: |
196 if inst.errno != errno.EPIPE: |
196 if inst.errno != errno.EPIPE: |
197 raise |
197 raise |
198 |
198 |
199 def flush(self): |
199 def flush(self): |
200 try: |
200 try: sys.stdout.flush() |
201 sys.stdout.flush() |
201 except: pass |
202 finally: |
202 try: sys.stderr.flush() |
203 sys.stderr.flush() |
203 except: pass |
204 |
204 |
205 def readline(self): |
205 def readline(self): |
206 return sys.stdin.readline()[:-1] |
206 return sys.stdin.readline()[:-1] |
207 def prompt(self, msg, pat, default="y"): |
207 def prompt(self, msg, pat, default="y"): |
208 if not self.interactive: return default |
208 if not self.interactive: return default |