Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #11437 from wojtekmaj/create-headers

Browse Source 
Extract & use createHeaders helper
This commit is contained in:
Tim van der Meij 2019-12-23 23:55:34 +01:00 committed by GitHub
commit bcf8ae3527
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/display/fetch_stream.js
View File

@ -33,6 +33,18 @@ function createFetchOptions(headers, withCredentials, abortController) {
}; };
} }
function createHeaders(httpHeaders) {
const headers = new Headers();
for (const property in httpHeaders) {
const value = httpHeaders[property];
if (typeof value === 'undefined') {
continue;
}
headers.append(property, value);
}
return headers;
}
/** @implements {IPDFStream} */ /** @implements {IPDFStream} */
class PDFFetchStream { class PDFFetchStream {
constructor(source) { constructor(source) {
@ -97,14 +109,7 @@ class PDFFetchStreamReader {
this._isStreamingSupported = !source.disableStream; this._isStreamingSupported = !source.disableStream;
this._isRangeSupported = !source.disableRange; this._isRangeSupported = !source.disableRange;
this._headers = new Headers(); this._headers = createHeaders(this._stream.httpHeaders);
for (const property in this._stream.httpHeaders) {
const value = this._stream.httpHeaders[property];
if (typeof value === 'undefined') {
continue;
}
this._headers.append(property, value);
}
const url = source.url; const url = source.url;
fetch(url, createFetchOptions(this._headers, this._withCredentials, fetch(url, createFetchOptions(this._headers, this._withCredentials,
@ -204,14 +209,7 @@ class PDFFetchStreamRangeReader {
this._abortController = new AbortController(); this._abortController = new AbortController();
} }
this._headers = new Headers(); this._headers = createHeaders(this._stream.httpHeaders);
for (const property in this._stream.httpHeaders) {
const value = this._stream.httpHeaders[property];
if (typeof value === 'undefined') {
continue;
}
this._headers.append(property, value);
}
this._headers.append('Range', `bytes=${begin}-${end - 1}`); this._headers.append('Range', `bytes=${begin}-${end - 1}`);
const url = source.url; const url = source.url;