Fix the check of a workspace dir inside the home.

06_workspace_mount.sh

@@ -27,10 +27,12 @@ chown ${USER}:${USER} $workspace_dir
 chown -R ${USER}:${USER} $workspace_logdir
 
 _retval=
-/bin/rm /home/${USER}/workspace
-_retval=$?
+if [ -d /home/${USER}/workspace ]; then
+  rmdir /home/${USER}/workspace
+  _retval=$?
+fi
 if [ $_retval -ne 0 ]; then
-    echo "The user has a directory named 'workspace' inside their home directory"
+    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