diff options
Diffstat (limited to 'functions.js')
| -rw-r--r-- | functions.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/functions.js b/functions.js index f33b3970d..d7f0ec750 100644 --- a/functions.js +++ b/functions.js @@ -8,6 +8,11 @@ function enableHotkeys() { hotkeys_enabled = true; } +function xmlhttp_ready(obj) { + return obj.readyState == 4 || obj.readyState == 0 || !obj.readyState; +} + + function notify_callback() { var container = document.getElementById('notify'); if (xmlhttp.readyState == 4) { |