Merge pull request 'Fix the check, for real this time.' (#16) from andrea.dellamico/docker-jenkins-integration-test:master into master

Reviewed-on: #16

06_workspace_mount.sh

@@ -30,15 +30,15 @@ _retval=
 if [ -d /home/${USER}/workspace ]; then
   rmdir /home/${USER}/workspace
   _retval=$?
-fi
-if [ $_retval -ne 0 ]; then
+  if [ $_retval -ne 0 ]; then
       echo "The user has a directory named 'workspace' inside their home directory and it is not empty."
       echo "Not starting the workspace mount"
-    exit
-else
-    ln -s /home/${USER}/workspace $workspace_dir
+      exit $_retval
+  fi
 fi
 
+ln -sf /home/${USER}/workspace $workspace_dir
+
 echo "Mount the workspace"
 su - "$USER" -c "/usr/bin/java  -cp .:${workspace_dir}:${workspace_logdir}/ -Dlogback.configurationFile=${workspace_logdir}/logback.xml -jar $workspace_fuse_jar $SHINYPROXY_OIDC_ACCESS_TOKEN $workspace_dir" >/dev/null 2>&1 &