From ed1280c138aba0eb75be81edbad3b2aa46254c54 Mon Sep 17 00:00:00 2001
From: David Robert Verelst <dave@dtu.dk>
Date: Fri, 5 Aug 2016 15:17:53 +0200
Subject: [PATCH] config file can also contain text
---
launch.py | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/launch.py b/launch.py
index 6b19b35..ab42b79 100755
--- a/launch.py
+++ b/launch.py
@@ -548,8 +548,13 @@ class Scheduler:
if len(items) == 2:
try:
value = int(items[1].strip())
+ # FIXME: there has to be a more elegant solution than this ugly
+ # hack...
except ValueError:
- value = float(items[1].strip())
+ try:
+ value = float(items[1].strip())
+ except ValueError:
+ value = items[1].strip()
setattr(self, items[0].strip(), value)
def init_state_log(self):
--
GitLab