1 files changed, 3 insertions, 2 deletions
diff --git a/main.c b/main.c
index a1db4753..4be506fb 100644
--- a/main.c
+++ b/main.c
@@ -147,7 +147,8 @@ int main (int argc, char **argv)
     error (1, err, "Could not create the root node");
 
   netfs_startup (bootstrap, 0);
-  for (;;)
-    netfs_server_loop ();
+  netfs_server_loop ();
+
+  assert (0 /* netfs_server_loop returned after all */);
 }