diff options
| author | Ted Horst <ted.horst@earthlink.net> | 2012-02-09 19:43:26 -0600 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-02-10 19:42:32 -0800 |
| commit | a7a1152db5b7f8cde82eaf3d994f93f024f4e803 (patch) | |
| tree | 81d562fa3d05d460dc32231b8d8ed954362ba278 /src/rt/rust_srv.cpp | |
| parent | 9fd2fcc99cae63d12da99fd0b4b1891dd6b26dba (diff) | |
| download | rust-a7a1152db5b7f8cde82eaf3d994f93f024f4e803.tar.gz rust-a7a1152db5b7f8cde82eaf3d994f93f024f4e803.zip | |
put fflush back in
Diffstat (limited to 'src/rt/rust_srv.cpp')
| -rw-r--r-- | src/rt/rust_srv.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
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 |