diff --git a/scripts/start-replace b/scripts/start-replace index e28c9e8df..2bf5f1c69 100755 --- a/scripts/start-replace +++ b/scripts/start-replace @@ -17,7 +17,7 @@ try: for pid in pids: subprocess.call(["gdb", "-batch-silent", "-ex", "call panel_session_do_not_restart()", - "-ex", "call exit()", + "-ex", "call exit(0)", "-p", pid], stdout=devnull, stderr=devnull) devnull.close()