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 @@

For Teachers

Teachers can visit the internal shared files (password protected). Please visit this website.

- + +

Important Links

+ + 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 "
  • $DOMAIN
  • " >> $WEBDIR/websites.txt fi