diff options
| author | fche <fche> | 2008-11-19 17:57:25 +0000 | 
|---|---|---|
| committer | fche <fche> | 2008-11-19 17:57:25 +0000 | 
| commit | 6f8cd44a107f37954c35b22f7be0104b193150eb (patch) | |
| tree | aed832834099bf972053c133a08cdee27aeb19ff /examples | |
| parent | none (diff) | |
none
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/gitweb.php | 4 | 
1 files changed, 3 insertions, 1 deletions
| diff --git a/examples/gitweb.php b/examples/gitweb.php index 820688d6..6d0fb9e6 100644 --- a/examples/gitweb.php +++ b/examples/gitweb.php | |||
| @@ -1,8 +1,10 @@ | |||
| 1 | <?php | 1 | <?php | 
| 2 | $uri0 = $_SERVER["REQUEST_URI"]; | ||
| 3 | $uri1 = $_SERVER["QUERY_STRING"]; | ||
| 2 | $uri = $_REQUEST["file"]; | 4 | $uri = $_REQUEST["file"]; | 
| 3 | # $uri = "/systemtap/examples/index.html"; | 5 | # $uri = "/systemtap/examples/index.html"; | 
| 4 | $gitfile0 = ereg_replace (".*/examples/", "", $uri); | 6 | $gitfile0 = ereg_replace (".*/examples/", "", $uri); | 
| 5 | $gitfile1 = "testsuite/systemtap.examples/$gitfile0"; | 7 | $gitfile1 = "testsuite/systemtap.examples/$gitfile0"; | 
| 6 | echo ("$uri $gitfile0 $gitfile1\n"); | 8 | echo ("$uri0 $uri1 $uri $gitfile0 $gitfile1\n"); | 
| 7 | exec ("git --git-dir=/git/systemtap.git show HEAD:$gitfile1"); | 9 | exec ("git --git-dir=/git/systemtap.git show HEAD:$gitfile1"); | 
| 8 | ?> | 10 | ?> | 
