From 76cb96f1cd7cfdd32e3cd190f8b7a8719679cac5 Mon Sep 17 00:00:00 2001
From: Andreas Gal <andreas.gal@gmail.com>
Date: Thu, 9 Jun 2011 18:06:01 -0700
Subject: [PATCH] add ?file= parameter to test.html

---
 test.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test.html b/test.html
index 09ccf62d2..f78f22ce2 100644
--- 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) {