From 4509b73d49158e9b4e929d64e8651e338ba9861e Mon Sep 17 00:00:00 2001
From: "Jay Freeman (saurik)" <saurik@saurik.com>
Date: Tue, 11 Sep 2012 13:00:37 -0700
Subject: [PATCH] Document a deficiency in the piped client reader.

---
 Console.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Console.cpp b/Console.cpp
index 771a785..8e35ad8 100644
--- 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 {
-- 
2.50.0