Document a deficiency in the piped client reader.

diff --git a/Console.cpp b/Console.cpp
index 771a785e6857533e33739efeecb3c3dcd6963e43..8e35ad871a1b511d6e3286355d2a22681809fdad 100644 (file)
--- a/Console.cpp
+++ b/Console.cpp
@@ -812,6 +812,7 @@ int Main(int argc, char const * const argv[], char const * const envp[]) {
                 std::cerr << i->location_.begin << ": " << i->message_ << std::endl;
         } else if (driver.program_ != NULL)
             if (client_ != -1) {
+                // XXX: this code means that you can't pipe to another process
                 std::string code(start, end-start);
                 Run(client_, code, stdout);
             } else {