mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00
Code Activity

Merge pull request #15966 from Snuffleupagus/GlobalWorkerOptions-defaults

Browse source 
Simplify setting the `GlobalWorkerOptions` default values (PR 9480 follow-up)
This commit is contained in:
Tim van der Meij 2023-01-28 18:15:32 +01:00 • committed by GitHub
commit 16aef95937
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/display/worker_options.js
View file

@ -27,14 +27,7 @@
/** @type {GlobalWorkerOptionsType} */
const GlobalWorkerOptions = Object.create(null);
GlobalWorkerOptions.workerPort =
GlobalWorkerOptions.workerPort === undefined
? null
: GlobalWorkerOptions.workerPort;
GlobalWorkerOptions.workerSrc =
GlobalWorkerOptions.workerSrc === undefined
? ""
: GlobalWorkerOptions.workerSrc;
GlobalWorkerOptions.workerPort = null;
GlobalWorkerOptions.workerSrc = "";
export { GlobalWorkerOptions };