use a vtable approach for generic map interface

[nbds] / runtime / lwt.c

diff --git a/runtime/lwt.c b/runtime/lwt.c
index ec84f90bfe9cabbb379100b8d3d8cc52698024a5..f6bd3467d81eace074f13ef07bee64193c692772 100644 (file)
--- a/runtime/lwt.c
+++ b/runtime/lwt.c
@@ -119,8 +119,7 @@ void lwt_dump (const char *file_name)
 }
 
 void lwt_trace_i (const char *format, size_t value1, size_t value2) {
-    if (halt_)
-        return;
+    while (halt_) {}
     LOCALIZE_THREAD_LOCAL(tid_, int);
     lwt_buffer_t *tb = lwt_buf_[tid_];
     if (tb != NULL) {