diff options
| author | kimdahey <claire_kim1@brown.edu> | 2020-01-16 11:31:41 -0500 |
|---|---|---|
| committer | kimdahey <claire_kim1@brown.edu> | 2020-01-16 11:31:41 -0500 |
| commit | 6be0e19ed0bd13f3796f542affa5a2e52674650c (patch) | |
| tree | 1be222ea9341ecd8020fad3149035fa650a8a07f /session.config.json | |
| parent | 5cde81d8c6b4dcd8d0796f8669b668763957f395 (diff) | |
| parent | e410cde0e430553002d4e1a2f64364b57b65fdbc (diff) | |
merged w master
Diffstat (limited to 'session.config.json')
| -rw-r--r-- | session.config.json | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/session.config.json b/session.config.json new file mode 100644 index 000000000..b2c45a0fc --- /dev/null +++ b/session.config.json @@ -0,0 +1,12 @@ +{ + "showServerOutput": false, + "ports": { + "server": 1050, + "socket": 4321 + }, + "polling": { + "route": "/serverHeartbeat", + "intervalSeconds": 15, + "failureTolerance": 0 + } +} |