Modified: trunk/launchd/src/launchctl.c (23447 => 23448)

--- trunk/launchd/src/launchctl.c	2007-10-30 21:41:05 UTC (rev 23447)
+++ trunk/launchd/src/launchctl.c	2007-11-13 18:53:47 UTC (rev 23448)
@@ -2763,8 +2763,11 @@
 		goto out;
 	}
 
-	fprintf(stderr, "fsck failed! Leaving the root file system read-only...\n");
+	fprintf(stderr, "fsck failed!\n");
 
+	/* someday, we should keep booting read-only, but as of today, other sub-systems cannot handle that scenario */
+	assumes(reboot(RB_HALT) != -1);
+
 	return;
 out:
 	/*