Change devbookd port; Allow devbookd port customization

devbookhq · Sep 27, 2022 · 7f565d5 · 7f565d5
1 parent d55ac23
commit 7f565d5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/constants.ts b/src/constants.ts
@@ -2,5 +2,5 @@ export const SESSION_REFRESH_PERIOD = 5_000 // 5s
 export const WS_RECONNECT_INTERVAL = 100 // 100ms
 
 export const SESSION_DOMAIN = 'ondevbook.com'
-export const WS_PORT = 8010
+export const WS_PORT = 14419
 export const WS_ROUTE = '/ws'
diff --git a/src/session/sessionConnection.ts b/src/session/sessionConnection.ts
@@ -51,6 +51,7 @@ export interface SessionConnectionOpts {
   debug?: boolean
   editEnabled?: boolean
   __debug_hostname?: string
+  __debug_port?: number
   __debug_devEnv?: 'remote' | 'local'
 }
 
@@ -217,7 +218,7 @@ abstract class SessionConnection {
       }
     }
 
-    const hostname = this.getHostname(WS_PORT)
+    const hostname = this.getHostname(this.opts.__debug_port || WS_PORT)
 
     if (!hostname) {
       throw new Error('Cannot get session\'s hostname')