diff options
-rwxr-xr-x | deheader | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1193,7 +1193,7 @@ class Baton: self.stream = sys.stderr self.stream.write(prompt + "...") if os.isatty(self.stream.fileno()): - self.stream.write(" \010") + self.stream.write(" \b") self.stream.flush() self.count = 0 self.endmsg = endmsg @@ -1208,7 +1208,7 @@ class Baton: self.stream.write(ch) else: self.stream.write("-/|\\"[self.count % 4]) - self.stream.write("\010") + self.stream.write("\b") self.stream.flush() self.count = self.count + 1 return |