diff options
Diffstat (limited to 'esds/platform.py')
| -rw-r--r-- | esds/platform.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/esds/platform.py b/esds/platform.py index 873546f..98adf08 100644 --- a/esds/platform.py +++ b/esds/platform.py @@ -177,9 +177,7 @@ class YAMLPlatformFile: self.parsing_error("breakpoints should be a list of number") self.default["breakpoints"]=general["breakpoints"] if "breakpoints_every" in general: - if not str(general["breakpoints_every"]).isnumeric(): - self.parsing_error("breakpoints_every should be a number") - self.default["breakpoints_every"]=general["breakpoints_every"] + self.default["breakpoints_every"]=float(general["breakpoints_every"]) if "breakpoints_callback" in general: cb=general["breakpoints_callback"] file=cb["file"] |