var/www/pages/index.php : add comment

This commit is contained in:
codeberg.org 2020-05-04 21:20:56 +02:00
parent 981c0dd904
commit 32427136b7

View file

@ -49,6 +49,7 @@ if (end($parts) === '') {
$file_url = implode("/", $parts); $file_url = implode("/", $parts);
# If this is a folder or just empty, we add 'index.html' to the URL:
$command = "sh -c \"cd '$git_root' && /usr/bin/git ls-tree 'master:$file_url' > /dev/null\""; $command = "sh -c \"cd '$git_root' && /usr/bin/git ls-tree 'master:$file_url' > /dev/null\"";
exec($command, $output, $retval); exec($command, $output, $retval);
if ($retval == 0) { if ($retval == 0) {