none

diff --git a/examples/gitweb.php b/examples/gitweb.php
index 96c0c5cc1a0980aaea80dce415f955bc2aceb141..ae02e54076f6caa028fc2e6ad732d334053ec2c6 100644 (file)
--- a/examples/gitweb.php
+++ b/examples/gitweb.php
@@ -2,9 +2,9 @@
 $uri = $_SERVER["REQUEST_URI"];
 $gitfile0 = ereg_replace (".*/examples/", "", $uri);
 if ($gitfile0 == "") { $gitfile0 = "index.html"; }
-if (! preg_match ("/^[/_A-Za-z0-9.]*$/", $gitfile0)) {
-  die ("bad chars ".htmlspecialchars($gitfile0)); 
-}
+#if (! preg_match ("/^[/_A-Za-z0-9.]*$/", $gitfile0)) {
+#  die ("bad chars ".htmlspecialchars($gitfile0)); 
+#}
 $gitfile1 = "testsuite/systemtap.examples/$gitfile0";
 $pathparts = pathinfo($gitfile1);
 switch ($pathparts['extension']) {