From 9100217da053bc83936927f709f706a83627e797 Mon Sep 17 00:00:00 2001
From: Paul Beckingham <paul@beckingham.net>
Date: Thu, 16 Jul 2009 22:03:11 -0400
Subject: [PATCH] Bug Fix - #213

- Fixed bug that ignored the fact that std:cin was closed by a Ctrl-D
  in the "shell" command.  Thanks to Ian Mortimer.
---
 AUTHORS         | 1 +
 src/command.cpp | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/AUTHORS b/AUTHORS
index 1690dc918..4f4c8ae85 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -35,4 +35,5 @@ Thanks to the following, who submitted detailed bug reports and excellent sugges
   Bruce Dillahunty
   Askme Too
   Thomas@BIC
+  Ian Mortimer
 
diff --git a/src/command.cpp b/src/command.cpp
index ed1df3024..a55599405 100644
--- a/src/command.cpp
+++ b/src/command.cpp
@@ -1163,7 +1163,7 @@ void handleShell ()
       }
     }
   }
-  while (keepGoing);
+  while (keepGoing && !std::cin.eof ());
 }
 #endif