[general] #529 Handle stdin EOF as EXIT.

diff --git a/CHANGELOG b/CHANGELOG
index 7dbc5555f8bf9162db22c6a7dcb8eeab524381fa..71992b862dda422529334314930f428d8b4f54bc 100644 (file)
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -19,6 +19,7 @@ General
     whether a build is newer or older than an other.\r
   o Changed configuration element mipmapping_default_on to mipmapping-default-on\r
     for consistency with the rest of the configuration (Jesper Stærkær).\r
+  o Handle stdin EOF as EXIT.\r
 \r
 Consumers\r
 ---------\r

diff --git a/shell/main.cpp b/shell/main.cpp
index 7db474e7e21f990dcbc663cd2b3788f5f9b069cd..b90bd40018219abba98dc17097a27fa220b08756 100644 (file)
--- a/shell/main.cpp
+++ b/shell/main.cpp
@@ -118,9 +118,8 @@ void do_run(
        std::wstring wcmd;
        while(true)
        {
-               std::getline(std::wcin, wcmd); // TODO: It's blocking...
-
-               //boost::to_upper(wcmd);
+               if (!std::getline(std::wcin, wcmd))             // TODO: It's blocking...
+                       wcmd = L"EXIT";                                         // EOF, handle as EXIT
 
                if(boost::iequals(wcmd, L"EXIT") || boost::iequals(wcmd, L"Q") || boost::iequals(wcmd, L"QUIT") || boost::iequals(wcmd, L"BYE"))
                {