##// END OF EJS Templates
Fix small error on exit from embedded shells.
Fernando Perez -
Show More
@@ -156,6 +156,8 b' class InteractiveShellEmbed(InteractiveShell):'
156 if header:
156 if header:
157 self.old_banner2 = self.banner2
157 self.old_banner2 = self.banner2
158 self.banner2 = self.banner2 + '\n' + header + '\n'
158 self.banner2 = self.banner2 + '\n' + header + '\n'
159 else:
160 self.old_banner2 = ''
159
161
160 # Call the embedding code with a stack depth of 1 so it can skip over
162 # Call the embedding code with a stack depth of 1 so it can skip over
161 # our call and get the original caller's namespaces.
163 # our call and get the original caller's namespaces.
General Comments 0
You need to be logged in to leave comments. Login now