var shared_worker_count = 0;
function getWorker(worker_url)
{
  // Create either a dedicated or shared worker, depending on flags
  var url = document.location.toString();
  if (url.search("shared") >= 0) {
    // Make a shared worker that looks like a worker
    var worker = new SharedWorker(worker_url, "name" + ++shared_worker_count);
    worker.port.onmessage = function(evt) {
      worker.onmessage(evt);
    };
    worker.postMessage = function(msg, port) {
      worker.port.postMessage(msg, port);
    };
    return worker;
  } else {
    return new Worker(worker_url);
  }
}

function onSuccess()
{
  setTimeout(onFinished, 0, "OK");
}

function onFailure() {
  setTimeout(onFinished, 0, "FAIL");
}

function onFinished(result) {
  var statusPanel = document.getElementById("statusPanel");
  if (statusPanel) {
    statusPanel.innerHTML = result;
  }

  document.title = result;
}