diff options
| author | Sam Wilkins <samwilkins333@gmail.com> | 2020-01-04 11:12:45 -0800 |
|---|---|---|
| committer | Sam Wilkins <samwilkins333@gmail.com> | 2020-01-04 11:12:45 -0800 |
| commit | 19b62446a1f05048c6fa940ea4cd7a94021d4ab1 (patch) | |
| tree | 629f8eefd3af2f9c4bf51fcf4749452f32150ecb /session.config.json | |
| parent | 9a3df8031b55a16ad55cef6975ff8bf4f681f14e (diff) | |
cleaner refactor, improved use of configuration
Diffstat (limited to 'session.config.json')
| -rw-r--r-- | session.config.json | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/session.config.json b/session.config.json index 1a1073c4f..7396e1135 100644 --- a/session.config.json +++ b/session.config.json @@ -1,10 +1,11 @@ { - "heartbeat": "http://localhost:1050/serverHeartbeat", - "signature": "Best,\nServer Session Manager", - "masterIdentifier": "__master__", - "workerIdentifier": "__worker__", + "showServerOutput": false, "recipients": [ "samuel_wilkins@brown.edu" ], - "silentChildren": true + "heartbeat": "http://localhost:1050/serverHeartbeat", + "pollingIntervalSeconds": 15, + "masterIdentifier": "__master__", + "workerIdentifier": "__worker__", + "signature": "Best,\nServer Session Manager" }
\ No newline at end of file |
