diff options
| author | Fawn <fangrui_tong@brown.edu> | 2020-01-09 15:52:05 -0500 |
|---|---|---|
| committer | Fawn <fangrui_tong@brown.edu> | 2020-01-09 15:52:05 -0500 |
| commit | 9a8d2a903b10568686cc66c849fba21b1ab75be2 (patch) | |
| tree | ea0bf48e4f47c72f9eeab3cbd00a5f1494abbb34 /session.config.json | |
| parent | e0a8d325d601d305a166c1683dccfcc67e91fe95 (diff) | |
| parent | 540bda7295f6ee7c2eed848598de6f5df74b2723 (diff) | |
pull and merge with master
Diffstat (limited to 'session.config.json')
| -rw-r--r-- | session.config.json | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/session.config.json b/session.config.json index 211422868..f613dd904 100644 --- a/session.config.json +++ b/session.config.json @@ -4,6 +4,9 @@ "server": 1050, "socket": 4321 }, - "pollingRoute": "/serverHeartbeat", - "pollingIntervalSeconds": 15 + "polling": { + "route": "/serverHeartbeat", + "intervalSeconds": 15, + "failureTolerance": 0 + } }
\ No newline at end of file |