none

diff --git a/examples/gitweb.php b/examples/gitweb.php
index 46fb48e8077f836f887e7c00e8e9ca895d60c765..fc2499adacfadd3b6d0829dd03e4603e2046d0c0 100644 (file)
--- a/examples/gitweb.php
+++ b/examples/gitweb.php
@@ -2,7 +2,7 @@
 $uri = $_SERVER["REQUEST_URI"];
 $gitfile0 = ereg_replace (".*/examples/", "", $uri);
 if ($gitfile0 == "") { $gitfile0 = "index.html"; }
-if (escapeshellarg($gitfile0) != "'".$gitfile0."'") {
+if (escapeshellcmd($gitfile0) != $gitfile0) {
   die ("bad chars? ".htmlspecialchars($gitfile0)); 
 }
 $gitfile1 = "testsuite/systemtap.examples/$gitfile0";