exit 1
fi
-if [[ "$@" =~ "arvados-workbench=" ]] || [[ "$@" =~ "arvados-sso-server=" ]] || [[ "$@" =~ "arvados-api-server=" ]]; then
+if [[ "$@" =~ "arvados-workbench=" ]] || [[ "$@" =~ "arvados-api-server=" ]]; then
RESET_NGINX_DAEMON_FLAG=true
else
RESET_NGINX_DAEMON_FLAG=false
fi
if [[ "$debs" != "" ]]; then
- apt-get -qqy install $debs
+ apt-get -qqy --allow-downgrades install $debs
if [[ "$?" != "0" ]]; then
# Maybe we need to update the apt cache first?
apt-get update
- apt-get -qqy install $debs
+ apt-get -qqy --allow-downgrades install $debs
fi
fi