diff options
| author | usodhi <61431818+usodhi@users.noreply.github.com> | 2020-05-24 10:40:21 +0530 |
|---|---|---|
| committer | usodhi <61431818+usodhi@users.noreply.github.com> | 2020-05-24 10:40:21 +0530 |
| commit | 2d0086420282c8e09841a1ce556679627bd3d857 (patch) | |
| tree | 7110c03d51783654bf5e8fe6f7d295ec683066d5 /session.config.json | |
| parent | 83d282a6b5e607e3c7dae4b5e5d37a8b458f81cc (diff) | |
| parent | 19ababdb6098ac36358c86e43ad63ab3066b4663 (diff) | |
merge finished
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 |