Move the prod and dev websocket URI to a config file.
This commit is contained in:
parent
3359c84fe4
commit
50b3efec4c
2 changed files with 15 additions and 7 deletions
11
web/src/config.js
Normal file
11
web/src/config.js
Normal file
|
|
@ -0,0 +1,11 @@
|
|||
/**
|
||||
* The URI that socket IO tries to connect to for websocket communication when
|
||||
* built for production serving.
|
||||
*/
|
||||
export const websocket_uri = `/`;
|
||||
|
||||
/**
|
||||
* The websocket URI that Socket.IO tries to connect to when live-serving the
|
||||
* site via webpack.
|
||||
*/
|
||||
export const dev_websocket_uri = 8081;
|
||||
Loading…
Add table
Add a link
Reference in a new issue