restart managegui in init.sh to reload Shibboleth SP metadata

After `docker compose down -v`, the Shibboleth metadata cache is gone.
When containers restart, managegui's Shibboleth SP tries to fetch IdP metadata from EngineBlock before init.sh has run migrations, causing a 503 and a 10-minute retry delay that breaks Manage login.

This change ensures a managegui restart after the Manage push so Shibboleth re-fetches the metadata while EngineBlock is fully initialized and ready.

Author: johanib

core/scripts/init.sh

@@ -114,6 +114,16 @@ printf "\n"
 echo -e "${ORANGE}Send a PUSH in Manage, which pushes the entities to EngineBlock and OIDCNG ${VINKJE}"
 docker compose exec managegui curl -q -s -k -u sysadmin:secret $manageurl/push >/dev/null
 
+printf "\n"
+echo -e "${ORANGE}Restarting managegui to reload Shibboleth SP metadata${NOCOLOR}"
+docker compose restart managegui
+echo -ne "Waiting for managegui to be ready..."
+until docker compose exec managegui curl -s -o /dev/null -w '%{http_code}' http://localhost/ 2>/dev/null | grep -qE '^[^5]'; do
+	echo -n "."
+	sleep 1
+done
+echo -e " ${VINKJE}"
+
 printf "\n"
 echo -e "${BLUE}Please add the following line to your /etc/hosts: ${VINKJE}"
 printf "\n"