diff options
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 4573bd01..64befd6e 100644 --- a/src/rt/rust_srv.cpp +++ b/src/rt/rust_srv.cpp @@ -31,6 +31,10 @@ rust_srv::realloc(void *p, size_t bytes) { void rust_srv::log(char const *msg) { printf("rt: %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(stdout); } void |