diff options
Diffstat (limited to 'src/server/Session/session_config_schema.ts')
| -rw-r--r-- | src/server/Session/session_config_schema.ts | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/src/server/Session/session_config_schema.ts b/src/server/Session/session_config_schema.ts deleted file mode 100644 index 5a85a45e3..000000000 --- a/src/server/Session/session_config_schema.ts +++ /dev/null @@ -1,39 +0,0 @@ -import { Schema } from "jsonschema"; - -export const configurationSchema: Schema = { - id: "/configuration", - type: "object", - properties: { - ports: { - type: "object", - properties: { - server: { type: "number", minimum: 1024, maximum: 65535 }, - socket: { type: "number", minimum: 1024, maximum: 65535 } - }, - required: ["server"], - additionalProperties: true - }, - pollingRoute: { - type: "string", - pattern: /\/[a-zA-Z]*/g - }, - masterIdentifier: { - type: "string", - minLength: 1 - }, - workerIdentifier: { - type: "string", - minLength: 1 - }, - showServerOutput: { type: "boolean" }, - pollingIntervalSeconds: { - type: "number", - minimum: 1, - maximum: 86400 - }, - pollingFailureTolerance: { - type: "number", - minimum: 0, - } - } -};
\ No newline at end of file |