From 544a1429eab6f58d707864c772ad4bf7f6b55b29 Mon Sep 17 00:00:00 2001 From: aeneasr Date: Tue, 21 Jan 2020 11:42:48 +0100 Subject: [PATCH] Use integer instead of number in config JSON schema --- .schemas/config.schema.json | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.schemas/config.schema.json b/.schemas/config.schema.json index 89462a3c4..da022c006 100644 --- a/.schemas/config.schema.json +++ b/.schemas/config.schema.json @@ -138,7 +138,7 @@ "description": "Indicates whether the request can include user credentials like cookies, HTTP authentication or client side SSL certificates." }, "max_age": { - "type": "number", + "type": "integer", "default": 0, "title": "Maximum Age", "description": "Indicates how long (in seconds) the results of a preflight request can be cached. The default is 0 which stands for no max age." @@ -191,7 +191,7 @@ "code": { "title": "HTTP Redirect Status Code", "description": "Defines the HTTP Redirect status code which can bei 301 (Moved Permanently) or 302 (Found).", - "type": "number", + "type": "integer", "enum": [ 301, 302 @@ -867,7 +867,7 @@ "additionalProperties": false, "properties": { "port": { - "type": "number", + "type": "integer", "default": 4456, "title": "Port", "description": "The port to listen on." @@ -896,7 +896,7 @@ "additionalProperties": false, "properties": { "port": { - "type": "number", + "type": "integer", "default": 4455, "title": "Port", "description": "The port to listen on."