diff --git a/include/input.js b/include/input.js index 86630af0..e5174782 100644 --- a/include/input.js +++ b/include/input.js @@ -653,7 +653,7 @@ return that; // Return the public API interface /* * Browser keypress to X11 keysym for Unicode characters > U+00FF */ -unicodeTable = { +var unicodeTable = { 0x0104 : 0x01a1, 0x02D8 : 0x01a2, 0x0141 : 0x01a3, diff --git a/include/websock.js b/include/websock.js index 01a24c3f..01a0eca1 100644 --- a/include/websock.js +++ b/include/websock.js @@ -25,6 +25,7 @@ // To enable WebSocket emulator debug: //window.WEB_SOCKET_DEBUG=1; +var Websock_native; if (window.WebSocket && !window.WEB_SOCKET_FORCE_FLASH) { Websock_native = true; } else if (window.MozWebSocket && !window.WEB_SOCKET_FORCE_FLASH) {