fix: timer interval set to int

martynia · Nov 6, 2023 · 75e824b · 75e824b
1 parent f66d9bf
commit 75e824b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Pilot/pilotTools.py b/Pilot/pilotTools.py
@@ -518,6 +518,7 @@ def wrapper(self, *args, **kwargs):
 
 class RepeatingTimer(Timer):
     def run(self):
+        print("self.interval:", self.interval, "type: ", type(self.interval), file=sys.stderr)
         while not self.finished.wait(self.interval):
             self.function(*self.args, **self.kwargs)
 
@@ -541,6 +542,8 @@ def __init__(self, senderFunc, bufsize=10, autoflush=10):
         """
 
         self._rlock = RLock()
+        print(">>>>>>>>> autoflush %s" % autoflush)
+        print(type(autoflush))
         if autoflush > 0:
             self._timer = RepeatingTimer(autoflush, self.flush)
             self._timer.start()
@@ -1100,7 +1103,7 @@ def __initJSON2(self):
             self.pilotLogging = pilotLogging.upper() == "TRUE"
         self.loggerURL = pilotOptions.get("RemoteLoggerURL")
         # logger buffer flush interval in seconds.
-        self.loggerTimerInterval = pilotOptions.get("RemoteLoggerTimerInterval", self.loggerTimerInterval)
+        self.loggerTimerInterval = int(pilotOptions.get("RemoteLoggerTimerInterval", self.loggerTimerInterval))
         pilotLogLevel = pilotOptions.get("PilotLogLevel", "INFO")
         if pilotLogLevel.lower() == "debug":
             self.debugFlag = True