diff options
| author | Sam Wilkins <samwilkins333@gmail.com> | 2020-01-08 22:04:58 -0500 |
|---|---|---|
| committer | Sam Wilkins <samwilkins333@gmail.com> | 2020-01-08 22:04:58 -0500 |
| commit | d8361df45515c9724dcf0400a2d9484118b4cd71 (patch) | |
| tree | e76f64a3aeb5715041573c511d625877b68b1f95 /session.config.json | |
| parent | 20af902684185bb85e38cf97afc951d95411640b (diff) | |
configuration assignment improvements, exec log and more granularity for identifiers
Diffstat (limited to 'session.config.json')
| -rw-r--r-- | session.config.json | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/session.config.json b/session.config.json index 57ca9e3cc..f613dd904 100644 --- a/session.config.json +++ b/session.config.json @@ -4,7 +4,9 @@ "server": 1050, "socket": 4321 }, - "pollingRoute": "/serverHeartbeat", - "pollingIntervalSeconds": 15, - "pollingFailureTolerance": 0 + "polling": { + "route": "/serverHeartbeat", + "intervalSeconds": 15, + "failureTolerance": 0 + } }
\ No newline at end of file |