1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
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,
}
}
};
|
