From d462ab8c3fff57cb2359b429c08bce5b660b39d5 Mon Sep 17 00:00:00 2001
From: Daniel Beer <dlbeer@gmail.com>
Date: Tue, 9 Oct 2012 11:57:14 +1300
Subject: [PATCH] gdb: allow Ctrl+C to shutdown server.

---
 ui/gdb.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ui/gdb.c b/ui/gdb.c
index e9ccf1b..5a936a3 100644
--- a/ui/gdb.c
+++ b/ui/gdb.c
@@ -33,6 +33,7 @@
 #include "reader.h"
 #include "expr.h"
 #include "gdb_proto.h"
+#include "ctrlc.h"
 
 /************************************************************************
  * GDB server
@@ -450,7 +451,7 @@ static int process_gdb_command(struct gdb_data *data, char *buf)
 
 static void gdb_reader_loop(struct gdb_data *data)
 {
-	for (;;) {
+	while (!ctrlc_check()) {
 		char buf[GDB_BUF_SIZE];
 		int len = 0;