blob: ef356f5404f151eeaa443a41a1e80af30c5b70f8 (
plain) (
blame)
1 2 3 4 5 6 7 8 9 10 | <?php $uri = $_SERVER["REQUEST_URI"]; $uri1 = $_SERVER["QUERY_STRING"]; $uri2 = $_REQUEST["file"]; # $uri = "/systemtap/examples/index.html"; $gitfile0 = ereg_replace (".*/examples/", "", $uri); $gitfile1 = "testsuite/systemtap.examples/$gitfile0"; # echo ("$uri $uri1 $uri2 $gitfile0 $gitfile1\n"); exec ("git --git-dir=/git/systemtap.git show HEAD:$gitfile1"); ?>
|
