2005-08-25 13:20:50 +02:00
|
|
|
function notify_callback() {
|
|
|
|
var container = document.getElementById('notify');
|
|
|
|
if (xmlhttp.readyState == 4) {
|
|
|
|
container.innerHTML=xmlhttp.responseText;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function rpc_notify_callback() {
|
|
|
|
var container = document.getElementById('notify');
|
|
|
|
if (xmlhttp_rpc.readyState == 4) {
|
|
|
|
container.innerHTML=xmlhttp_rpc.responseText;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2005-08-22 07:28:27 +02:00
|
|
|
function param_escape(arg) {
|
|
|
|
if (typeof encodeURIComponent != 'undefined')
|
|
|
|
return encodeURIComponent(arg);
|
|
|
|
else
|
|
|
|
return escape(arg);
|
|
|
|
}
|
|
|
|
|
|
|
|
function param_unescape(arg) {
|
|
|
|
if (typeof decodeURIComponent != 'undefined')
|
|
|
|
return decodeURIComponent(arg);
|
|
|
|
else
|
|
|
|
return unescape(arg);
|
|
|
|
}
|
|
|
|
|
2005-08-24 10:02:58 +02:00
|
|
|
function delay(gap) {
|
|
|
|
var then,now;
|
|
|
|
then=new Date().getTime();
|
|
|
|
now=then;
|
|
|
|
while((now-then)<gap) {
|
|
|
|
now=new Date().getTime();
|
|
|
|
}
|
|
|
|
}
|
2005-08-22 07:28:27 +02:00
|
|
|
|
|
|
|
function notify(msg) {
|
|
|
|
|
|
|
|
var n = document.getElementById("notify");
|
|
|
|
|
|
|
|
n.innerHTML = msg;
|
|
|
|
|
|
|
|
if (msg.length == 0) {
|
|
|
|
n.style.display = "none";
|
|
|
|
} else {
|
|
|
|
n.style.display = "block";
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2005-08-24 10:02:58 +02:00
|
|
|
function printLockingError() {
|
|
|
|
notify("Please wait until operation finishes");
|
|
|
|
}
|
|
|
|
|
2005-08-25 08:57:51 +02:00
|
|
|
var seq = "";
|
|
|
|
|
|
|
|
function hotkey_handler(e) {
|
|
|
|
var keycode;
|
|
|
|
|
|
|
|
if (window.event) {
|
|
|
|
keycode = window.event.keyCode;
|
|
|
|
} else if (e) {
|
|
|
|
keycode = e.which;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (keycode == 13 || keycode == 27) {
|
|
|
|
seq = "";
|
|
|
|
} else {
|
|
|
|
seq = seq + "" + keycode;
|
|
|
|
}
|
|
|
|
|
|
|
|
var piggie = document.getElementById("piggie");
|
|
|
|
|
|
|
|
if (seq.match("807371717369")) {
|
|
|
|
localPiggieFunction(true);
|
|
|
|
} else {
|
|
|
|
localPiggieFunction(false);
|
|
|
|
}
|
|
|
|
|
2005-08-25 13:20:50 +02:00
|
|
|
if (typeof localHotkeyHandler != 'undefined') {
|
|
|
|
localHotkeyHandler(keycode);
|
|
|
|
}
|
|
|
|
|
2005-08-25 08:57:51 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-08-22 07:28:27 +02:00
|
|
|
|