From 0d5ca1f8d92b8fa4dfe5be18560e2a93d67d7d71 Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <andrea.dellamico@isti.cnr.it>
Date: Sat, 2 Apr 2022 02:25:18 +0200
Subject: [PATCH] Fix a typo.

---
 06_workspace_mount.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/06_workspace_mount.sh b/06_workspace_mount.sh
index 1272772..f811323 100644
--- a/06_workspace_mount.sh
+++ b/06_workspace_mount.sh
@@ -42,4 +42,4 @@ 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 &
 
-exit ?$
+exit $?