more links, better listing

server/index.php

@@ -17,5 +17,11 @@
 <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>

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