From a0b7f84461010b992a2cb17cd2e54c6c5deae9c7 Mon Sep 17 00:00:00 2001
From: Franck Freiburger <FranckFreiburger@users.noreply.github.com>
Date: Fri, 26 May 2017 17:46:41 +0200
Subject: [PATCH] Update webpack.js to support browsers that do not have the
 Web Workers API

---
 external/dist/webpack.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/external/dist/webpack.js b/external/dist/webpack.js
index 6cb7561a0..f2c4a6400 100644
--- a/external/dist/webpack.js
+++ b/external/dist/webpack.js
@@ -16,6 +16,11 @@
 
 var pdfjs = require('./build/pdf.js');
 var PdfjsWorker = require('worker-loader!./build/pdf.worker.js');
-pdfjs.PDFJS.workerPort = new PdfjsWorker();
+
+if (typeof window !== 'undefined' && 'Worker' in window) {
+  pdfjs.PDFJS.workerPort = new PdfjsWorker();
+} else {
+  pdfjs.PDFJS.disableWorker = true;
+}
 
 module.exports = pdfjs;