Show More
@@ -1572,6 +1572,11 b' want to merge them back into the new files.""" % locals()' | |||
|
1572 | 1572 | else: |
|
1573 | 1573 | banner = self.BANNER+self.banner2 |
|
1574 | 1574 | |
|
1575 | # if you run stuff with -c <cmd>, raw hist is not updated | |
|
1576 | # ensure that it's in sync | |
|
1577 | if len(self.input_hist) != len (self.input_hist_raw): | |
|
1578 | self.input_hist_raw = InputList(self.input_hist) | |
|
1579 | ||
|
1575 | 1580 | while 1: |
|
1576 | 1581 | try: |
|
1577 | 1582 | self.interact(banner) |
General Comments 0
You need to be logged in to leave comments.
Login now