diff options
author | Erich Eckner <git@eckner.net> | 2018-09-28 17:52:47 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-28 17:52:47 +0200 |
commit | c23c7ee7e673de726b49a1018fcccce7f35a43f0 (patch) | |
tree | 87bb18d85b965fd58f3b27eb99bd684c0238a608 | |
parent | 567852d6e9bed6894a1902f7f5ebee81056d1882 (diff) | |
download | archive-server-c23c7ee7e673de726b49a1018fcccce7f35a43f0.tar.xz |
httpdocs/index.php: make welcome message more verbose
-rw-r--r-- | httpdocs/index.php | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/httpdocs/index.php b/httpdocs/index.php index 2bda913..7879034 100644 --- a/httpdocs/index.php +++ b/httpdocs/index.php @@ -93,5 +93,21 @@ if (isset($_GET['r'])) { } -print 'Hi, this is an <a href="https://git.eckner.net/Erich/archive-server/">archive server</a>!' . "\n"; +print 'Hi, this is an <a href="https://git.eckner.net/Erich/archive-server/">archive server</a>!<br>' . "\n"; +print 'I provide archives of these upstreams:<br>' . "\n"; + +print + implode( + "<br>\n", + array_map( + "base64_decode", + explode( + "\n", + shell_exec( + 'ls "' . $work_dir . 'repositories"' + ) + ) + ) + ); + die(); |