update portal scripts

scripts/portal-restart.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+
+set -e # exit on first error
+
+# get current working directory (pwd doesn't cut it)
+cwd=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
+
+# put the server down for maintenance
+. ${cwd}/portal-down.sh
+
+# stop the docker services
+docker-compose down
+
+# start the docker services
+docker-compose up -d
+
+# enable the server again
+. ${cwd}/portal-up.sh

scripts/portal-upgrade.sh

@@ -21,7 +21,7 @@ docker system prune --force
 docker volume rm $(docker volume ls -q)
 
 # build all container without cache
-docker-compose build --no-cache
+docker-compose build --no-cache --parallel --pull --quiet
 
 # start the docker services
 docker-compose up -d