Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision a1f3d9373bdef67ff4153d740bcd62fef62867de)
+++ libcfa/src/concurrency/kernel.cfa	(revision 3bb4f85c9fb4c5cb977c217840ff865f8f858995)
@@ -381,4 +381,9 @@
 	}
 
+	for(int i = 0; !available(future); i++) {
+		if(i > 1000) __cfaabi_dbg_write( "ERROR: kernel has bin spinning on a flush after exit loop.\n", 60);
+		__cfa_io_flush( this, 1 );
+	}
+
 	__cfa_io_stop( this );