From 3c33f32dfff94ad9f5a3caeb858d60486cbdd3bf Mon Sep 17 00:00:00 2001
From: Tony Jin <tjin@box.com>
Date: Wed, 7 Feb 2018 11:31:18 -0800
Subject: [PATCH] Respect workerSrc if set

Respect user-defined workerSrc over internal overrides.
---
 src/display/api.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/display/api.js b/src/display/api.js
index b4603ca95..9f50deecc 100644
--- a/src/display/api.js
+++ b/src/display/api.js
@@ -1202,12 +1202,12 @@ var PDFWorker = (function PDFWorkerClosure() {
   let nextFakeWorkerId = 0;
 
   function getWorkerSrc() {
-    if (typeof workerSrc !== 'undefined') {
-      return workerSrc;
-    }
     if (getDefaultSetting('workerSrc')) {
       return getDefaultSetting('workerSrc');
     }
+    if (typeof workerSrc !== 'undefined') {
+      return workerSrc;
+    }
     if (typeof PDFJSDev !== 'undefined' &&
         PDFJSDev.test('PRODUCTION && !(MOZCENTRAL || FIREFOX)') &&
         pdfjsFilePath) {