From 2c6d22e92247bf753a24d7c1d3247727b0b1a55c Mon Sep 17 00:00:00 2001 From: Oliver-Akins Date: Tue, 5 Jan 2021 13:45:22 -0700 Subject: [PATCH] Use a different websocket URI for dev versus prod --- web/src/main.js | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/web/src/main.js b/web/src/main.js index c048d8b..b9102f4 100644 --- a/web/src/main.js +++ b/web/src/main.js @@ -7,8 +7,14 @@ import VueSocketIOExt from 'vue-socket.io-extended'; Vue.config.productionTip = false; +// Get the URI for +let websocket_uri = `/`; +if (process.env.NODE_ENV === `development`) { + websocket_uri = `http:${window.location.hostname}:8081`; +}; + Vue.use(clipboard); -Vue.use(VueSocketIOExt, io(`http://${window.location.hostname}:8081`)); +Vue.use(VueSocketIOExt, io(websocket_uri)); new Vue({ store,