warden/rlgwebd
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

RLG-Web client: determine the host for WebSocket connections.

Browse source 
Construct the URLs for WebSocket connections using window.location.host
instead of hardcoding them.
This commit is contained in:
John "Elwin" Edwards 2012-07-14 10:11:13 -07:00
parent 1ef1b16014
commit 185ea6a9ef
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
rlgterm.js
View file

@ -75,8 +75,6 @@ var games = {
} }
}; };
var wsHost = "localhost:8080";
var session = { var session = {
/* The session id assigned by the server. */ /* The session id assigned by the server. */
id: null, id: null,
@ -523,7 +521,7 @@ function wsCurrent() {
} }
if (statsock) if (statsock)
return; return;
statsock = new WebSocket("ws://" + wsHost + "/status"); statsock = new WebSocket("ws://" + window.location.host + "/status");
statsock.onmessage = function (ev) { statsock.onmessage = function (ev) {
var msg; var msg;
try { try {
@ -742,7 +740,7 @@ function makeWatcher(n) {
} }
function wsWatch(gamenumber) { function wsWatch(gamenumber) {
var sockurl = "ws://" + wsHost + "/watch/" + String(gamenumber); var sockurl = "ws://" + window.location.host + "/watch/" + String(gamenumber);
var ws = new WebSocket(sockurl); var ws = new WebSocket(sockurl);
ws.onopen = function (event) { ws.onopen = function (event) {
session.id = true; session.id = true;