diff options
author | Alon Zakai <alonzakai@gmail.com> | 2011-06-27 20:21:32 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2011-06-27 20:21:32 -0700 |
commit | 7e39bae4648875901a911d1c826b7037a6153712 (patch) | |
tree | 2a84491854892723c69c5ddf87416f791a103d73 | |
parent | b8a8cf504c48fc6f953df2da0cd9f26f1628f8be (diff) |
fix for just-broken poppler
-rw-r--r-- | tests/runner.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runner.py b/tests/runner.py index f4d163ac..1ba5a983 100644 --- a/tests/runner.py +++ b/tests/runner.py @@ -2308,7 +2308,7 @@ if 'benchmark' not in sys.argv: ''' STDIO.prepare('paper.pdf', eval(read('paper.pdf.js'))); run(); - print("Data: " + JSON.stringify(STDIO.streams[STDIO.filenames['*s-0*d.']].data)); // work around __formatString__ fail + print("Data: " + JSON.stringify(STDIO.streams[STDIO.filenames['filename-1.ppm']].data)); ''' ) src.close() |