From 2303ad8d0bc293e27cab768faef31fd93740f2b5 Mon Sep 17 00:00:00 2001
From: wirawan <wirawan>
Date: Mon, 25 Oct 2010 14:41:39 +0000
Subject: [PATCH] * pipe_in (subprocess version): added "flush" method.

---
 shell_tools.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/shell_tools.py b/shell_tools.py
index ed0f78d..c6c3d2f 100644
--- a/shell_tools.py
+++ b/shell_tools.py
@@ -1,4 +1,4 @@
-# $Id: shell_tools.py,v 1.7 2010-05-28 18:45:51 wirawan Exp $
+# $Id: shell_tools.py,v 1.8 2010-10-25 14:41:39 wirawan Exp $
 #
 # wpylib.shell_tools
 # Created: 20100106
@@ -162,6 +162,8 @@ if has_subprocess:
     def writelines(self, lines):
       for line in lines:
         self.write(line)
+    def flush(self):
+      self.px.stdin.flush()
     def close(self):
       self.px.stdin.close()