add ?file= parameter to test.html

diff --git a/test.html b/test.html
index 09ccf62d2b972ef54c9c2cb65835528ac49d581d..f78f22ce24387aaab0e2e025b1054c54953879b4 100644 (file)
--- a/test.html
+++ b/test.html
@@ -52,7 +52,8 @@ function load() {
     pageDisplay = document.getElementById("pageNumber");
     infoDisplay = document.getElementById("info");
     pageNum = parseInt(queryParams().page) || 1;
-    open("compressed.tracemonkey-pldi-09.pdf");
+    fileName = queryParams().file || "compressed.tracemonkey-pldi-09.pdf";
+    open(fileName);
 }
 
 function open(url) {