source: subdirectory index for tools/

diff --git a/source.plp b/source.plp
index 9c183205e45336e4ec08acd1d1900d34bb80495e..358bf8475f7355eecc190b76399483aa69d92f18 100644 (file)
--- a/source.plp
+++ b/source.plp
@@ -43,13 +43,18 @@ Html({
 
 say '';
 
-if (not $source) {
-       print "<h1>Source files</h1>";
+if (not $source or -d $source) {
+       PLP_START {
+               print "<h1>Source files</h1>";
+       };
+
+       if ($source and $source ne 'tools') {
+               Abort("Directory index not permitted", '403 source not allowed');
+       }
 
        print "<p>Project code distributed under the AGPL. Please contribute back.</p>";
        say '<ul>';
-       for (glob '*.plp') {
-               chomp;
+       for (glob($source ? "$source/*" : '*.plp')) {
                say '<li>', showlink($_, "/source/$_");
        }
        say "</ul>\n";