| Index: shell/src/Main.cpp |
| diff --git a/shell/src/Main.cpp b/shell/src/Main.cpp |
| index 2cd73eb74a60bb2d2f733d6ee79bf19a353fd778..8a65ea48e4f41c70e1e3f185ef813c72d4c6d402 100644 |
| --- a/shell/src/Main.cpp |
| +++ b/shell/src/Main.cpp |
| @@ -36,7 +36,7 @@ namespace |
| bool ReadCommandLine(std::string& commandLine) |
| { |
| std::cout << "> "; |
| - const bool success = std::getline(std::cin, commandLine); |
| + const bool success = std::getline(std::cin, commandLine).good(); |
|
Felix Dahlke
2015/06/17 19:06:51
Seems standard conform the way it was to me - shou
|
| if (!success) |
| std::cout << std::endl; |
| return success; |