Index: trunk/FACT++/src/Readline.cc
===================================================================
--- trunk/FACT++/src/Readline.cc	(revision 13937)
+++ trunk/FACT++/src/Readline.cc	(revision 13938)
@@ -99,5 +99,5 @@
 //
 Readline::Readline(const char *prgname) :
-    fMaxLines(500), fLine(0), fLabel(-1), fCompletion(0)
+    fMaxLines(500), fLine(0), fSection(-3), fLabel(-1), fCompletion(0)
 {
     if (This)
@@ -1076,6 +1076,9 @@
         const int save = fSection;
         Execute(opt, data);
-        fSection = save;
-        SetSection(save);
+        if (save!=-3)
+        {
+            fSection = save;
+            SetSection(save);
+        }
 
         return true;
@@ -1399,12 +1402,12 @@
     }
 
+    fCommandLog << "# " << Time() << " - " << name << " (FINISHED[" << fScriptDepth<< "])" << endl;
+
+    if (--fScriptDepth==0)
+        fStopScript = false;
+
     fLabel = -1;
     fSection = -3;
     SetSection(-3);
-
-    fCommandLog << "# " << Time() << " - " << name << " (FINISHED[" << fScriptDepth<< "])" << endl;
-
-    if (--fScriptDepth==0)
-        fStopScript = false;
 
     return rc;