diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2020-02-08 13:48:11 -0500 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2020-02-08 13:48:11 -0500 |
| commit | 90d7fb57a64011763ad1d608126eacb052061e43 (patch) | |
| tree | fd96990ebd0ffe38f2285fbbceca942c1fb45587 /session.config.json | |
| parent | e310c0fdcef6ac71ee492470d4ac689cbb094167 (diff) | |
| parent | 1b046f76cf39f1f6cb1875aa84b45db74b6d994e (diff) | |
Merge branch 'master' into monika_animation
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 + } +} |