summaryrefslogtreecommitdiff
path: root/web-server/opendc/util
diff options
context:
space:
mode:
authorjc0b <j@jc0b.computer>2020-07-10 15:18:49 +0200
committerFabian Mastenbroek <mail.fabianm@gmail.com>2020-08-24 19:48:02 +0200
commitd8479e7e3744b8d1d31ac4d9f972e560eacd2cf8 (patch)
tree79b7dfccec6e3cc1fce189b4605a37b354d676a2 /web-server/opendc/util
parent4befa57993831274ad7e6ca62f96aa582f81cc5d (diff)
parent3b4e27320c479bd6ef48998f448ed070e8bd7511 (diff)
Merge branch 'master' of github.com:atlarge-research/opendc-dev
Diffstat (limited to 'web-server/opendc/util')
-rw-r--r--web-server/opendc/util/parameter_checker.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/web-server/opendc/util/parameter_checker.py b/web-server/opendc/util/parameter_checker.py
index d1256009..14dd1dc0 100644
--- a/web-server/opendc/util/parameter_checker.py
+++ b/web-server/opendc/util/parameter_checker.py
@@ -48,7 +48,7 @@ def _incorrect_parameter(params_required, params_actual, parent=''):
type_pairs = [
('int', (int,)),
- ('float', (float,)),
+ ('float', (float, int)),
('bool', (bool,)),
('string', (str, int)),
('list', (list,)),