From 7f930a9e4dc3e1c05000e0ab8bc21259ebd01983 2010-04-25 23:27:41
From: Fernando Perez <Fernando.Perez@berkeley.edu>
Date: 2010-04-25 23:27:41
Subject: [PATCH] Fix small error on exit from embedded shells.
---

diff --git a/IPython/core/embed.py b/IPython/core/embed.py
old mode 100644
new mode 100755
index 16d6c78..fc68ec1
--- a/IPython/core/embed.py
+++ b/IPython/core/embed.py
@@ -156,6 +156,8 @@ class InteractiveShellEmbed(InteractiveShell):
         if header:
             self.old_banner2 = self.banner2
             self.banner2 = self.banner2 + '\n' + header + '\n'
+        else:
+            self.old_banner2 = ''
 
         # Call the embedding code with a stack depth of 1 so it can skip over
         # our call and get the original caller's namespaces.