diff options
| author | Hannah <hannah_chow@brown.edu> | 2020-02-11 06:34:19 -0500 |
|---|---|---|
| committer | Hannah <hannah_chow@brown.edu> | 2020-02-11 06:34:19 -0500 |
| commit | b60154479add51f826afaeff074cf43a6b416831 (patch) | |
| tree | 723f7f1356b1c3dcf5c409347b125d5a577b538f /src/server/Session/session_config_schema.ts | |
| parent | 74ca8ac01e32faa8adab54ddfd806fe46cda03ec (diff) | |
| parent | dc6453e27375a1b3d614a74b7fd1d83695f130d7 (diff) | |
merge
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 |