From 1c19788c8de920053064d67b21c22dfec2765515 Mon Sep 17 00:00:00 2001
From: mxmehl <mail@mehl.mx>
Date: Fri, 12 Jun 2015 13:04:33 +0300
Subject: [PATCH] more links, better listing

---
 server/index.php         | 8 +++++++-
 server/list-web-users.sh | 2 +-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/server/index.php b/server/index.php
index 46625f4..a0bfd5e 100644
--- a/server/index.php
+++ b/server/index.php
@@ -16,6 +16,12 @@
 
 <h3>For Teachers</h3>
 <p>Teachers can visit the internal shared files (password protected). Please visit <a href="/teachers">this website</a>.<p>
-  
+
+<h3>Important Links</h3>
+<ul>
+  <li><a href="http://pma.mit.tareo-tz.org">phpMyAdmin</a> - Administrate your MySQL database</li>
+  <li><a href="http://www.tareo-tz.org">Website of TAREO</a> - Tanzania Rural Empowerment Organization which is running MIT</li>
+</ul>
+
 </body>
 </html>
diff --git a/server/list-web-users.sh b/server/list-web-users.sh
index d163d1d..7e97d7c 100755
--- a/server/list-web-users.sh
+++ b/server/list-web-users.sh
@@ -11,7 +11,7 @@ find /var/www/* -maxdepth 0 -type d -print0 | while IFS= read -r -d $'\0' line;
   
   USER=$(basename $line)
   DOMAIN="$USER.$DOMAINROOT"
-  if [ ! "$USER" == "html" ]; then
+  if [ ! "$USER" == "html" ] && [ ! "$USER" == "pma" ]; then
     echo "<li><a href=\"http://$DOMAIN\">$DOMAIN</a></li>" >> $WEBDIR/websites.txt
   fi