diff --git a/core/src/main/java/org/lflang/federated/launcher/FedLauncherGenerator.java b/core/src/main/java/org/lflang/federated/launcher/FedLauncherGenerator.java
index 85e4e43b8f..7ed7bc835b 100644
--- a/core/src/main/java/org/lflang/federated/launcher/FedLauncherGenerator.java
+++ b/core/src/main/java/org/lflang/federated/launcher/FedLauncherGenerator.java
@@ -280,7 +280,7 @@ private String getSetupCode() {
         "# Set a trap to kill all background jobs on error or control-C",
         "# Use two distinct traps so we can see which signal causes this.",
         "cleanup() {",
-        "    tmux kill-session -t plasma",
+        // "    tmux kill-session -t plasma",
         "    if [ \"$EXITED_SUCCESSFULLY\" = true ] ; then",
         "        exit 0",
         "    else",
@@ -294,7 +294,7 @@ private String getSetupCode() {
         "}",
         "",
         "trap 'cleanup; exit' EXIT",
-        "tmux new -d -s plasma plasma_store -m 4000000000 -s /tmp/plasma",
+        // "tmux new -d -s plasma plasma_store -m 4000000000 -s /tmp/plasma",
         "",
         "# Create a random 48-byte text ID for this federation.",
         "# The likelihood of two federations having the same ID is 1/16,777,216 (1/2^24).",