rui_orig/app_wasm.js

window.onfocus = function() {
	windowFocus = true
	sendMessage( "session-resume{session=" + sessionID +"}" );
}

function closeSocket() {
}