diff options
| author | bobzel <zzzman@gmail.com> | 2020-10-22 10:58:28 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-22 10:58:28 -0400 |
| commit | 3bc68d855b2c3e282626acdee0d9c537d562b672 (patch) | |
| tree | 7149579004571fa76369ab6d4e888e1e4c0ee6d0 /session.config.json | |
| parent | 9bc227553d68c33203067d23b158a27b36781bbd (diff) | |
| parent | 1769f9a3cd1952405bcdec2d5186ed24ba34dc30 (diff) | |
Merge pull request #899 from browngraphicslab/restored_server_monitor
Restored server monitor
Diffstat (limited to 'session.config.json')
| -rw-r--r-- | session.config.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/session.config.json b/session.config.json index 5440d9bbd..f613dd904 100644 --- a/session.config.json +++ b/session.config.json @@ -1,7 +1,7 @@ { "showServerOutput": false, "ports": { - "server": 443, + "server": 1050, "socket": 4321 }, "polling": { |