// a Stream in the main thread.
if (translated.file)
translated.file = translated.file.getBytes();
+ if (translated.properties.file) {
+ translated.properties.file =
+ translated.properties.file.getBytes();
+ }
handler.send('obj', [
loadedName,
dict: baseDict,
properties: properties
};
- }
-
- }
+ } // if (type.name == 'Type3')
+ } // if (!descriptor)
// According to the spec if 'FontDescriptor' is declared, 'FirstChar',
- // 'LastChar' and 'Widths' should exists too, but some PDF encoders seems
+ // 'LastChar' and 'Widths' should exist too, but some PDF encoders seem
// to ignore this rule when a variant of a standart font is used.
// TODO Fill the width array depending on which of the base font this is
// a variant.
// Pre compile the pdf page and fetch the fonts/images.
IRQueue = page.getIRQueue(handler, dependency);
} catch (e) {
+ var minimumStackMessage =
+ 'worker.js: while trying to getPage() and getIRQueue()';
+
// Turn the error into an obj that can be serialized
- e = {
- message: typeof e === 'object' ? e.message : e,
- stack: typeof e === 'object' ? e.stack : null
- };
+ if (typeof e === 'string') {
+ e = {
+ message: e,
+ stack: minimumStackMessage
+ };
+ } else if (typeof e === 'object') {
+ e = {
+ message: e.message || e.toString(),
+ stack: e.stack || minimumStackMessage
+ };
+ } else {
+ e = {
+ message: 'Unknown exception type: ' + (typeof e),
+ stack: minimumStackMessage
+ }
+ }
+
handler.send('page_error', {
pageNum: pageNum,
error: e