diff options
| author | Sam Wilkins <samwilkins333@gmail.com> | 2020-01-06 15:54:05 -0800 |
|---|---|---|
| committer | Sam Wilkins <samwilkins333@gmail.com> | 2020-01-06 15:54:05 -0800 |
| commit | 45f3eba54ffdb2e4571712a13fcf72a359ec5857 (patch) | |
| tree | dad8ab26fede40a372a52946239512a7b0fcb7d0 /session.config.json | |
| parent | e4d9fd09f6ede20e79d58119d239bb7a3a7dae25 (diff) | |
configurable tolerance, change polling interval from repl
Diffstat (limited to 'session.config.json')
| -rw-r--r-- | session.config.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/session.config.json b/session.config.json index 211422868..57ca9e3cc 100644 --- a/session.config.json +++ b/session.config.json @@ -5,5 +5,6 @@ "socket": 4321 }, "pollingRoute": "/serverHeartbeat", - "pollingIntervalSeconds": 15 + "pollingIntervalSeconds": 15, + "pollingFailureTolerance": 0 }
\ No newline at end of file |
