From 1df7da08a42059ca508e91fed0709426c17a8ca1 Mon Sep 17 00:00:00 2001
From: TechEmporium <techemporium.stlflops@gmail.com>
Date: Sat, 19 Jan 2019 17:29:19 -0500
Subject: [PATCH] Edited users.php to produce user web links, based on the
 existence of an index file

---
 users.php | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/users.php b/users.php
index 6b8a844..8c91105 100644
--- a/users.php
+++ b/users.php
@@ -17,7 +17,19 @@
 							<h2 class="title">User Web Directories</h2>
 							<div style="clear: both;">&nbsp;</div>
 							<div class="entry">
-								<p>(Coming soon)</p>
+								<p>Below is a list of user web directories:</p>
+								<ul style="list-style: none; margin-left: -40px;">
+									<?php
+									foreach (glob("/home/*") as $user):
+										if (!is_dir($user . "/public_html") || (!file_exists($user . "/public_html/index.html") && !file_exists($user . "/public_html/index.php")))
+										continue;
+									$user = basename($user);?>
+									<li><a href="/~<?=$user?>/">~<?=$user?></a></li>
+									<?php endforeach; ?>
+									</ul>
+								<p>Note that most content on thunix are provided by thunix's users, not the owner of the server. Comments should be addressed to the owner of the web directory in the first instance - their email address here is <code>&lt;username&gt;@thunix.cf</code>, unless otherwise specified within their web directory.</p>
+								<p>If there is a problem which is not resolved by the owner of the web directory, please send us an <a href="/abuse.php">abuse report</a>.</p>
+								<p>If you want to be added or removed from this list, simply create an index.html or index.php file and upload it to your public_html directory.</p>
 							</div>
 						</div>
 					<div style="clear: both;">&nbsp;</div>