From 29a27fd9cd1b9d64f639dd127be335aa52b9c587 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Thu, 29 Mar 2012 14:19:23 -0400
Subject: [PATCH] fix flush for `make-pipe-with-specials'

Closes PR 12659

original commit: 0cfb3f1d396bb3d7bc817494b937063f5e8782ad
---
 collects/mzlib/port.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/mzlib/port.rkt b/collects/mzlib/port.rkt
index 2a87650..81ce65d 100644
--- a/collects/mzlib/port.rkt
+++ b/collects/mzlib/port.rkt
@@ -710,7 +710,7 @@
          ;; write
          (lambda (str start end buffer? w/break?)
            (if (= start end)
-             #t
+             0
              (begin
                (resume-mgr)
                (call-with-semaphore