From 2e087bf4a995392ba620d6f2eed42487423b67aa Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 8 Aug 2013 12:29:46 +0200
Subject: [PATCH] tool/run: cancel 'run_genode_until forever'

Enables the user to cancel run scripts in
'run_genode_until forever' via 'ctrl+c'.

fix #826
---
 tool/run | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/tool/run b/tool/run
index cdba02714..1b76f0d7b 100755
--- a/tool/run
+++ b/tool/run
@@ -418,7 +418,13 @@ proc wait_for_output { wait_for_re timeout_value running_spawn_id } {
 
 	if {$wait_for_re == "forever"} {
 		set timeout -1
-		interact -i $running_spawn_id
+		interact {
+			\003 {
+				send_user "Expect: 'interact' received 'strg+c' and was cancelled\n";
+				exit
+			}
+			-i $running_spawn_id
+		}
 	} else {
 		set timeout $timeout_value
 	}