andreasgal/pdf.js — pull request #712 by jviereck (2011-10-28 16:16:14+00:00)
Title: Make worker load the right files after file split

Right now, turning on `useWorker` enables the worker in the production and debug build. But within the production build, the worker is constructed from the individual source files still.

This patch fixes this. It's now required to define the global variables `PDFJS_WORKER_FILE` and `PDFJS_WORKER_DIR` which determ how the web worker is created.