##// END OF EJS Templates
fix #271684: -c startup commands screw up raw vs. native history
Ville M. Vainio -
Show More
@@ -1572,6 +1572,11 b' want to merge them back into the new files.""" % locals()'
1572 else:
1572 else:
1573 banner = self.BANNER+self.banner2
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 while 1:
1580 while 1:
1576 try:
1581 try:
1577 self.interact(banner)
1582 self.interact(banner)
General Comments 0
You need to be logged in to leave comments. Login now