##// END OF EJS Templates
Don't require HistoryManager to have a shell...
MinRK -
Show More
@@ -634,8 +634,9 b' class HistoryManager(HistoryAccessor):'
634 634 '_ii': self._ii,
635 635 '_iii': self._iii,
636 636 new_i : self._i00 }
637
638 self.shell.push(to_main, interactive=False)
637
638 if self.shell is not None:
639 self.shell.push(to_main, interactive=False)
639 640
640 641 def store_output(self, line_num):
641 642 """If database output logging is enabled, this saves all the
General Comments 0
You need to be logged in to leave comments. Login now