130     def write_err(self, *args):

   130     def write_err(self, *args):

   131         if not sys.stdout.closed: sys.stdout.flush()

   131         if not sys.stdout.closed: sys.stdout.flush()

   132         for a in args:

   132         for a in args:

   133             sys.stderr.write(str(a))

   133             sys.stderr.write(str(a))

   134 

   134 

   135     def readline(self):

   141     def readline(self):

   136         return sys.stdin.readline()[:-1]

   142         return sys.stdin.readline()[:-1]

   137     def prompt(self, msg, pat, default="y"):

   143     def prompt(self, msg, pat, default="y"):

   138         if not self.interactive: return default

   144         if not self.interactive: return default

   139         while 1:

   145         while 1: