Make nlaunch independent

diff --git a/scripts/nlaunch/nlaunch b/scripts/nlaunch/nlaunch
index 18d0f8badfa019fdd22f020a987eb7a0de0bed1b..e5b0a7bf87bf7219357d33f35f407e412ca51e6a 100755 (executable)
--- a/scripts/nlaunch/nlaunch
+++ b/scripts/nlaunch/nlaunch
@@ -16,5 +16,5 @@ get_selection() {
 }
 
 if selection=$( get_selection ); then
-    "$selection" 2>/dev/null 1>/dev/null &
+    setsid "$selection" 2>/dev/null 1>/dev/null &
 fi