Index: /trunk/FACT++/src/Readline.h
===================================================================
--- /trunk/FACT++/src/Readline.h	(revision 13897)
+++ /trunk/FACT++/src/Readline.h	(revision 13898)
@@ -27,5 +27,8 @@
 
     int fLine;
-    static int fLabel;
+    int fSection;
+    int fLabel;
+    int fScriptDepth;
+    static bool fStopScript;
     static std::string fScript;
 
@@ -102,6 +105,7 @@
     bool         IsStopped() const;
     void         ProcessLine(const std::string &str);
-    static  void SetLabel(int l) { fLabel = l; }
-    static  int  GetLabel() { return fLabel; }
+    void         SetLabel(int l) { fLabel = l; }
+    static void  StopScript() { fStopScript = true; }
+    static bool  IsScriptStopped() { return fStopScript; }
 
     static std::string GetScript() { return fScript; }