deploy/deploy.sh
changeset 10 28971cf04a91
parent 2 f72ffe8b30b1
child 12 256b31ffdc33
--- a/deploy/deploy.sh	Mon Sep 17 18:35:17 2018 +0200
+++ b/deploy/deploy.sh	Tue Sep 18 10:36:57 2018 +0200
@@ -21,6 +21,7 @@
 
 case $DASHBOARDNAME in
     explorunivers_test) DASHBOARDNAMEOK=true;;
+    explorunivers) DASHBOARDNAMEOK=true;;
     *)             DASHBOARDNAMEOK=false;;
 esac