diff options
| author | fche <fche> | 2008-11-19 17:58:05 +0000 |
|---|---|---|
| committer | fche <fche> | 2008-11-19 17:58:05 +0000 |
| commit | 4b1ee6da7ad282f2fd11a1aaf8f6224c49ba20b5 (patch) | |
| tree | 4c66810e629332ea2c500116d54cb5cd7f47aaf9 /examples | |
| parent | none (diff) | |
none
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/.htaccess | 2 | ||||
| -rw-r--r-- | examples/gitweb.php | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/examples/.htaccess b/examples/.htaccess index de498648..dc030302 100644 --- a/examples/.htaccess +++ b/examples/.htaccess | |||
| @@ -1,3 +1,3 @@ | |||
| 1 | RewriteEngine On | 1 | RewriteEngine On |
| 2 | RewriteBase /systemtap/examples/ | 2 | RewriteBase /systemtap/examples/ |
| 3 | RewriteRule ^(.*)$ http://sources.redhat.com/git/?p=systemtap.git;a=tree;hb=head;f=testsuite/systemtap.examples/$1 [NE] | 3 | RewriteRule ^(.*)$ gitweb.php?file=$1 [NE] |
diff --git a/examples/gitweb.php b/examples/gitweb.php index 6d0fb9e6..d65f04b4 100644 --- a/examples/gitweb.php +++ b/examples/gitweb.php | |||
| @@ -1,10 +1,10 @@ | |||
| 1 | <?php | 1 | <?php |
| 2 | $uri0 = $_SERVER["REQUEST_URI"]; | 2 | $uri = $_SERVER["REQUEST_URI"]; |
| 3 | $uri1 = $_SERVER["QUERY_STRING"]; | 3 | # $uri1 = $_SERVER["QUERY_STRING"]; |
| 4 | $uri = $_REQUEST["file"]; | 4 | # $uri = $_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 ("$uri0 $uri1 $uri $gitfile0 $gitfile1\n"); | 8 | # echo ("$uri0 $uri1 $uri $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 | ?> |