|
|
@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') { |
|
|
|
(typeof window !== 'undefined' ? window : this).PDFJS = {}; |
|
|
|
(typeof window !== 'undefined' ? window : this).PDFJS = {}; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
PDFJS.version = '1.1.293'; |
|
|
|
PDFJS.version = '1.1.295'; |
|
|
|
PDFJS.build = '1416a1b'; |
|
|
|
PDFJS.build = '367794f'; |
|
|
|
|
|
|
|
|
|
|
|
(function pdfjsWrapper() { |
|
|
|
(function pdfjsWrapper() { |
|
|
|
// Use strict in our context only - users might not want it
|
|
|
|
// Use strict in our context only - users might not want it
|
|
|
@ -8385,14 +8385,9 @@ var ChunkedStream = (function ChunkedStreamClosure() { |
|
|
|
}, |
|
|
|
}, |
|
|
|
|
|
|
|
|
|
|
|
nextEmptyChunk: function ChunkedStream_nextEmptyChunk(beginChunk) { |
|
|
|
nextEmptyChunk: function ChunkedStream_nextEmptyChunk(beginChunk) { |
|
|
|
var chunk, n; |
|
|
|
var chunk, numChunks = this.numChunks; |
|
|
|
for (chunk = beginChunk, n = this.numChunks; chunk < n; ++chunk) { |
|
|
|
for (var i = 0; i < numChunks; ++i) { |
|
|
|
if (!this.loadedChunks[chunk]) { |
|
|
|
chunk = (beginChunk + i) % numChunks; // Wrap around to beginning
|
|
|
|
return chunk; |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
// Wrap around to beginning
|
|
|
|
|
|
|
|
for (chunk = 0; chunk < beginChunk; ++chunk) { |
|
|
|
|
|
|
|
if (!this.loadedChunks[chunk]) { |
|
|
|
if (!this.loadedChunks[chunk]) { |
|
|
|
return chunk; |
|
|
|
return chunk; |
|
|
|
} |
|
|
|
} |
|
|
@ -8669,7 +8664,7 @@ var ChunkedStreamManager = (function ChunkedStreamManagerClosure() { |
|
|
|
this.requestChunks(chunksToRequest, callback); |
|
|
|
this.requestChunks(chunksToRequest, callback); |
|
|
|
}, |
|
|
|
}, |
|
|
|
|
|
|
|
|
|
|
|
// Groups a sorted array of chunks into as few continguous larger
|
|
|
|
// Groups a sorted array of chunks into as few contiguous larger
|
|
|
|
// chunks as possible
|
|
|
|
// chunks as possible
|
|
|
|
groupChunks: function ChunkedStreamManager_groupChunks(chunks) { |
|
|
|
groupChunks: function ChunkedStreamManager_groupChunks(chunks) { |
|
|
|
var groupedChunks = []; |
|
|
|
var groupedChunks = []; |
|
|
@ -8794,15 +8789,6 @@ var ChunkedStreamManager = (function ChunkedStreamManagerClosure() { |
|
|
|
}, |
|
|
|
}, |
|
|
|
|
|
|
|
|
|
|
|
getEndChunk: function ChunkedStreamManager_getEndChunk(end) { |
|
|
|
getEndChunk: function ChunkedStreamManager_getEndChunk(end) { |
|
|
|
if (end % this.chunkSize === 0) { |
|
|
|
|
|
|
|
return end / this.chunkSize; |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// 0 -> 0
|
|
|
|
|
|
|
|
// 1 -> 1
|
|
|
|
|
|
|
|
// 99 -> 1
|
|
|
|
|
|
|
|
// 100 -> 1
|
|
|
|
|
|
|
|
// 101 -> 2
|
|
|
|
|
|
|
|
var chunk = Math.floor((end - 1) / this.chunkSize) + 1; |
|
|
|
var chunk = Math.floor((end - 1) / this.chunkSize) + 1; |
|
|
|
return chunk; |
|
|
|
return chunk; |
|
|
|
} |
|
|
|
} |
|
|
|