pygdb does not save exec-line when quitting.

[pygdb.git] / Configuration.py

diff --git a/Configuration.py b/Configuration.py
index 460b897db207f611346f01b2e02d05a35fc67b0c..d97e1c43cb9151b11755e633247cfdff0d05f8a3 100644 (file)
--- a/Configuration.py
+++ b/Configuration.py
@@ -167,6 +167,9 @@ class Configuration:
        def isCurrposSet(self):
                return self.currfile!=None
 
+       def delCurrpos(self):
+               self.currfile = None
+
 
        def findInt(self, name):
                for i in self.ints: