From d639a9a94abdfd2e2949dd1c5efb3f6ad4681166 Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Fri, 9 Sep 2011 16:45:41 -0700
Subject: [PATCH] Remove no longer needed worker files, rename boot to
 boot_processor

---
 worker.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/worker.js b/worker.js
index 78e88835c..6f4a38da8 100644
--- a/worker.js
+++ b/worker.js
@@ -131,7 +131,7 @@ var WorkerPDFDoc = (function() {
     var useWorker = true;
     
     if (useWorker) {
-      var worker = new Worker("../worker/boot.js");      
+      var worker = new Worker("../worker/boot_processor.js");
     } else {
       // If we don't use a worker, just post/sendMessage to the main thread.
       var worker = {