From a7a1152db5b7f8cde82eaf3d994f93f024f4e803 Mon Sep 17 00:00:00 2001
From: Ted Horst <ted.horst@earthlink.net>
Date: Thu, 9 Feb 2012 19:43:26 -0600
Subject: [PATCH] put fflush back in

---
 src/rt/rust_srv.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/rt/rust_srv.cpp b/src/rt/rust_srv.cpp
index 9192af511d9..3efac3b3910 100644
--- a/src/rt/rust_srv.cpp
+++ b/src/rt/rust_srv.cpp
@@ -26,6 +26,10 @@ rust_srv::realloc(void *p, size_t bytes) {
 void
 rust_srv::log(char const *msg) {
     fprintf(stderr, "rust: %s\n", msg);
+    // FIXME: flushing each time is expensive, but at the moment
+    // necessary to get output through before a rust_task::fail
+    // call. This should be changed.
+    fflush(stderr);
 }
 
 void