none

diff --git a/examples/gitweb.php b/examples/gitweb.php
index 3392c15fccae85a3d672ff630375168621c52ef5..695c3057ec26e7dd2ff761bda3227d32727f446c 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 (escapeshellarg($gitfile0) != $gitfile0) {
   die ("bad chars? ".htmlspecialchars($gitfile0)); 
 }
 $gitfile1 = "testsuite/systemtap.examples/$gitfile0";