Make sure PDF.js doesn't try to use the Fetch API

Closes #4235
This commit is contained in:
Florian Bruhin 2018-09-22 20:10:57 +02:00
parent 22a4aaa73c
commit ee5d98d5d0

View File

@ -56,11 +56,18 @@ def generate_pdfjs_page(filename, url):
return jinja.render('no_pdfjs.html',
url=url.toDisplayString(),
title="PDF.js not found")
viewer = get_pdfjs_res('web/viewer.html').decode('utf-8')
html = get_pdfjs_res('web/viewer.html').decode('utf-8')
script = _generate_pdfjs_script(filename)
html_page = viewer.replace('</body>',
'</body><script>{}</script>'.format(script))
return html_page
html = html.replace('</body>',
'</body><script>{}</script>'.format(script))
# WORKAROUND for the fact that PDF.js tries to use the Fetch API even with
# qute:// URLs.
pdfjs_script = '<script src="../build/pdf.js"></script>'
html = html.replace(pdfjs_script,
'<script>window.Response = undefined;</script>\n' +
pdfjs_script)
return html
def _generate_pdfjs_script(filename):