From ba7cb64d34286ad7f754161dba45151ae9040a1d Mon Sep 17 00:00:00 2001
From: Karol Wypchlo <kwypchlo@gmail.com>
Date: Thu, 21 Jan 2021 12:04:21 +0100
Subject: [PATCH] update portal scripts

---
 scripts/portal-restart.sh | 18 ++++++++++++++++++
 scripts/portal-upgrade.sh |  2 +-
 2 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100644 scripts/portal-restart.sh

diff --git a/scripts/portal-restart.sh b/scripts/portal-restart.sh
new file mode 100644
index 00000000..354bfdbf
--- /dev/null
+++ b/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
diff --git a/scripts/portal-upgrade.sh b/scripts/portal-upgrade.sh
index f63335bc..da863bca 100755
--- a/scripts/portal-upgrade.sh
+++ b/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