diff options
| author | fche <fche> | 2008-11-19 18:06:44 +0000 |
|---|---|---|
| committer | fche <fche> | 2008-11-19 18:06:44 +0000 |
| commit | 6c8da91e5c2c44377e8397b25fd9625a7e831dd5 (patch) | |
| tree | 49ce48f07b529f359531ad9cc68b2da5ce1c989c /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 33046880..ef356f54 100644 --- a/examples/gitweb.php +++ b/examples/gitweb.php | |||
| @@ -5,6 +5,6 @@ $uri2 = $_REQUEST["file"]; | |||
| 5 | # $uri = "/systemtap/examples/index.html"; | 5 | # $uri = "/systemtap/examples/index.html"; |
| 6 | $gitfile0 = ereg_replace (".*/examples/", "", $uri); | 6 | $gitfile0 = ereg_replace (".*/examples/", "", $uri); |
| 7 | $gitfile1 = "testsuite/systemtap.examples/$gitfile0"; | 7 | $gitfile1 = "testsuite/systemtap.examples/$gitfile0"; |
| 8 | echo ("$uri $uri1 $uri2 $gitfile0 $gitfile1\n"); | 8 | # echo ("$uri $uri1 $uri2 $gitfile0 $gitfile1\n"); |
| 9 | exec ("git --git-dir=/git/systemtap.git show HEAD:$gitfile1"); | 9 | exec ("git --git-dir=/git/systemtap.git show HEAD:$gitfile1"); |
| 10 | ?> | 10 | ?> |