diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2020-05-20 17:42:02 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2020-05-20 17:42:02 -0400 |
| commit | c04da1528de48a1e911f5c8989f32bfd0138882b (patch) | |
| tree | 1d1c4736821f2fe1dae0175b9ef0d7c47d1dfdb4 /session.config.json | |
| parent | 2af870505bbd181ec0d121439da5dad9a0bcddcc (diff) | |
| parent | 0460e38b8d1136983c7f36ae1cdf466296345065 (diff) | |
merged & fixed some interaction issues with comparisonBox
Diffstat (limited to 'session.config.json')
| -rw-r--r-- | session.config.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/session.config.json b/session.config.json index b2c45a0fc..5440d9bbd 100644 --- a/session.config.json +++ b/session.config.json @@ -1,7 +1,7 @@ { "showServerOutput": false, "ports": { - "server": 1050, + "server": 443, "socket": 4321 }, "polling": { @@ -9,4 +9,4 @@ "intervalSeconds": 15, "failureTolerance": 0 } -} +}
\ No newline at end of file |