1c4af2727c
There's really no need for these "complicated" default value assignments, since `GlobalWorkerOptions` is a local variable at this point, and this is rather a case of too much copy-and-paste.
Note that years ago, when all options were set using a global `PDFJS` object, it's possible that options had been set (from the outside) *before* the object had been properly initialized; see e.g. a89071bdef/src/display/global.js
34 lines
1.2 KiB
JavaScript
34 lines
1.2 KiB
JavaScript
/* Copyright 2018 Mozilla Foundation
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
/**
|
|
* @typedef {Object} GlobalWorkerOptionsType
|
|
* @property {Worker | null} workerPort - Defines global port for worker
|
|
* process. Overrides the `workerSrc` option.
|
|
* @property {string} workerSrc - A string containing the path and filename
|
|
* of the worker file.
|
|
*
|
|
* NOTE: The `workerSrc` option should always be set, in order to prevent any
|
|
* issues when using the PDF.js library.
|
|
*/
|
|
|
|
/** @type {GlobalWorkerOptionsType} */
|
|
const GlobalWorkerOptions = Object.create(null);
|
|
|
|
GlobalWorkerOptions.workerPort = null;
|
|
GlobalWorkerOptions.workerSrc = "";
|
|
|
|
export { GlobalWorkerOptions };
|