diff -r d25825f37967 -r 740cfd9dd443 src/server/util/io.c
--- a/src/server/util/io.c	Fri Jun 28 14:52:35 2013 +0200
+++ b/src/server/util/io.c	Sun Jun 30 15:11:48 2013 +0200
@@ -297,6 +297,11 @@
     return IO_ERROR;
 }
 
+int net_flush(SYS_NETFD sd) {
+    // TODO: implement
+    return 0;
+}
+
 void net_close(SYS_NETFD fd) {
     ((IOStream*)fd)->close(fd);
 }