From 280b42fdedc0305b40398a2a213848d64d52e6c0 Mon Sep 17 00:00:00 2001
From: hackerman <3372410+aeneasr@users.noreply.github.com>
Date: Sat, 25 Jan 2020 17:27:32 +0100
Subject: [PATCH] Use integer instead of number in config JSON schema

---
 .schemas/config.schema.json | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

diff --git a/.schemas/config.schema.json b/.schemas/config.schema.json
index f4cc6721e4..da022c0061 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,13 +867,10 @@
           "additionalProperties": false,
           "properties": {
             "port": {
-              "type": "number",
+              "type": "integer",
               "default": 4456,
-              "examples": [4456],
               "title": "Port",
-              "description": "The port to listen on.",
-              "minimum": 1,
-              "maximum": 65535
+              "description": "The port to listen on."
             },
             "host": {
               "type": "string",
@@ -899,13 +896,10 @@
           "additionalProperties": false,
           "properties": {
             "port": {
-              "type": "number",
+              "type": "integer",
               "default": 4455,
-              "examples": [4455],
               "title": "Port",
-              "description": "The port to listen on.",
-              "minimum": 1,
-              "maximum": 65535
+              "description": "The port to listen on."
             },
             "host": {
               "type": "string",