Revision 6ac7b645eb140904fbcd932a177c6eb9a9303990 authored by L. David Baron on 26 June 2018, 15:57:27 UTC, committed by GitHub on 26 June 2018, 15:57:27 UTC
1 parent 8de3fcb
constants.js
//This file requires server-side substitutions and must be included as constants.js?pipe=sub
var PORT = "{{ports[ws][0]}}";
var PORT_SSL = "{{ports[wss][0]}}";
var SCHEME_DOMAIN_PORT;
if (location.search == '?wss') {
SCHEME_DOMAIN_PORT = 'wss://{{host}}:' + PORT_SSL;
} else {
SCHEME_DOMAIN_PORT = 'ws://{{host}}:' + PORT;
}
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...