fix for headless launch

Signed-off-by: Daisuke Sato <[email protected]>
CMU-cabot · Feb 15, 2024 · 9780461 · 9780461
1 parent 07a9951
commit 9780461
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/launch.sh b/launch.sh
@@ -270,7 +270,12 @@ if [ $local_map_server -eq 1 ]; then
             fi
             if [[ $ans = 'y' ]] || [[ $ans = 'Y' ]]; then
                 launching_server=1
-                gnome-terminal -- bash -c "./server-launch.sh -d $cabot_site_dir/server_data; exit"
+		if [[ $CABOT_HEADLESS -eq 1 ]]; then
+                    ./server-launch.sh -d $cabot_site_dir/server_data &
+		    disown
+		else
+                    gnome-terminal -- bash -c "./server-launch.sh -d $cabot_site_dir/server_data; exit"
+		fi
             else
                 echo ""
                 exit 1