diff --git a/src/display/api.js b/src/display/api.js index 984b27b72..82af80cc6 100644 --- a/src/display/api.js +++ b/src/display/api.js @@ -1097,7 +1097,7 @@ var PDFWorker = (function PDFWorkerClosure() { if (typeof PDFJSDev !== 'undefined' && PDFJSDev.test('PRODUCTION && !(MOZCENTRAL || FIREFOX)') && pdfjsFilePath) { - return pdfjsFilePath.replace(/\.js$/i, '.worker.js'); + return pdfjsFilePath.replace(/(\.(?:min\.)?js)$/i, '.worker$1'); } error('No PDFJS.workerSrc specified'); }