path: root/examples/gitweb.php

<?php $uri = $_REQUEST["file"]; # $uri = "/systemtap/examples/index.html"; $gitfile0 = ereg_replace (".*/examples/", "", $uri); $gitfile1 = "testsuite/systemtap.examples/$gitfile0"; echo ("$uri $gitfile0 $gitfile1\n"); exec ("git --git-dir=/git/systemtap.git show HEAD:$gitfile1"); ?>