Timerserver interval can be set as a float in case shorter than 1 second interva…

…l for activities is needed.

/reviewed-on nexedi/slapos!281

software/erp5/instance-erp5-input-schema.json

@@ -109,7 +109,7 @@
             "timerserver-interval": {
               "description": "Timerserver tick perdiod, in seconds, or 0 to disable",
               "default": 5,
-              "type": "integer"
+              "type": "number"
             },
             "webdav": {
               "description": "Serve webdav queries, implies timerserver-interval=0 (disabled). Mixing webdav and non-webdav nodes in a single family will give unspecified results.",