worker.js

/*
 Events worker
 */
var salt_events;
function startEventsWorker() {
    if (typeof(Worker) !== "undefined") {
        if (typeof(salt_events) == "undefined") {
            salt_events = new Worker("/goat/events.js");
        }
        salt_events.onmessage = function(event) {
            $("#salt_event_output").html = event.data;
        };
    } else {
        document.getElementById("salt_event_output").innerHTML = "Sorry, your browser does not support web workers.";
    }
}

function stopEventWorker() {
    salt_events.terminate();
    salt_events = undefined;
}