1.1 --- a/scripts/redirect.py Sun Nov 03 19:40:56 2013 +0100
1.2 +++ b/scripts/redirect.py Sun Nov 03 22:33:56 2013 +0100
1.3 @@ -17,6 +17,7 @@
1.4
1.5 URL_PREFIX = ""
1.6 EXPORT_SCRIPT = "/export.py"
1.7 +EXPORT_PDF_SCRIPT = "/exportpdf.py"
1.8
1.9 # See the scripts/tiny.py program for similar code in a stand-alone program.
1.10
1.11 @@ -80,7 +81,12 @@
1.12 if pageid is None:
1.13 fail(pageid)
1.14
1.15 - export = (script.endswith(EXPORT_SCRIPT) or script.endswith("/pages/doexportpage.action")) and args.get("type", [""])[0] == "TYPE_PDF"
1.16 + export = (script.endswith(EXPORT_SCRIPT) or
1.17 + script.endswith("/pages/doexportpage.action")
1.18 + ) and args.get("type", [""])[0] == "TYPE_PDF" or \
1.19 + (script.endswith(EXPORT_PDF_SCRIPT) or
1.20 + script.endswith("/spaces/flyingpdf/pdfpageexport.action")
1.21 + )
1.22
1.23 f = open(MAPPING_ID_TO_PAGE)
1.24 try: