diff options
| author | fche <fche> | 2008-11-19 18:28:19 +0000 |
|---|---|---|
| committer | fche <fche> | 2008-11-19 18:28:19 +0000 |
| commit | af633aeb8c46da3b6b90b2f314d7e781cac543ca (patch) | |
| tree | 22ebf8482e468067cbe14805e45902a0086c9fc3 /examples | |
| parent | none (diff) | |
none
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/gitweb.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/gitweb.php b/examples/gitweb.php index ca62e848..242947ea 100644 --- a/examples/gitweb.php +++ b/examples/gitweb.php | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | $uri = $_SERVER["REQUEST_URI"]; | 2 | $uri = $_SERVER["REQUEST_URI"]; |
| 3 | $gitfile0 = ereg_replace (".*/examples/", "", $uri); | 3 | $gitfile0 = ereg_replace (".*/examples/", "", $uri); |
| 4 | if ($gitfile0 == "") { $gitfile0 = "index.html"; } | 4 | if ($gitfile0 == "") { $gitfile0 = "index.html"; } |
| 5 | if (! preg_match ("/^[A-Za-z0-9_./-]*$/", $gitfile0)) { | 5 | if (! preg_match ("/^[A-Za-z0-9_\./-]*$/", $gitfile0)) { |
| 6 | die ("bad chars ".htmlspecialchars($gitfile0)); | 6 | die ("bad chars ".htmlspecialchars($gitfile0)); |
| 7 | } | 7 | } |
| 8 | $gitfile1 = "testsuite/systemtap.examples/$gitfile0"; | 8 | $gitfile1 = "testsuite/systemtap.examples/$gitfile0"; |