+ // Initialize connection (even if the current page doesn't need it)
+ this.state.conn = new WebSocket(params.socketUrl + "/?sid=" + mysid +
+ "&page=" + encodeURIComponent(page));
+ // Settings initialized with values from localStorage
+ this.state.settings = {
+ bcolor: localStorage.getItem("bcolor") || "lichess",
+ sound: parseInt(localStorage.getItem("sound")) || 1,
+ hints: localStorage.getItem("hints") == "true",
+ highlight: localStorage.getItem("highlight") == "true",
+ };
+ this.socketCloseListener = () => {
+ // Next line may fail at first, but should retry and eventually success (TODO?)
+ this.state.conn = new WebSocket(params.socketUrl + "/?sid=" + mysid +
+ "&page=" + encodeURIComponent(page));
+ };
+ this.state.conn.onclose = this.socketCloseListener;
+ },
+ updateSetting: function(propName, value) {
+ this.state.settings[propName] = value;
+ localStorage.setItem(propName, value);