diff options
| author | Andy Rickert <andrew_rickert@brown.edu> | 2020-06-03 16:40:09 -0400 |
|---|---|---|
| committer | Andy Rickert <andrew_rickert@brown.edu> | 2020-06-03 16:40:09 -0400 |
| commit | 954948ddd511578af4ca2c50c960765a5a7bc637 (patch) | |
| tree | 16fafd254a5db95d5c39838d4313d7ddf59753af /session.config.json | |
| parent | 6d8d3c00587c43ae61392db4fe6915ee492c2e4a (diff) | |
| parent | 9588e56079f7e4ab98da1849f44996656649bc06 (diff) | |
merge
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 |