--- boot-start.c	Sat Aug 25 13:09:18 2001
+++ boot-start.c.hacked	Sat Aug 25 12:56:46 2001
@@ -250,10 +250,11 @@ diskfs_start_bootstrap ()
   assert_perror (err);
   if (_diskfs_boot_pause)
     {
-      printf ("pausing for %s...\n", exec_argv);
-      getc (stdin);
+      printf ("Pausing for %s...", exec_argv);
+      fflush (stdout);
+      getchar ();
     }
-  printf (" %s", basename (exec_argv));
+  printf (" %s%s", basename (exec_argv), _diskfs_boot_pause ? "\n" : "");
   fflush (stdout);
   err = exec_exec (diskfs_exec, startup_pt, MACH_MSG_TYPE_COPY_SEND,
 		   newt, 0, exec_argv, exec_argvlen, exec_env, exec_envlen,
@@ -616,11 +617,12 @@ start_execserver (void)
 
   if (_diskfs_boot_pause)
     {
-      printf ("pausing for exec\n");
-      getc (stdin);
+      printf ("\nPausing for exec...");
+      fflush (stdout);
+      getchar ();
     }
   task_resume (diskfs_exec_server_task);
 
-  printf (" exec");
+  printf (" exec%s", _diskfs_boot_pause ? "\n" : "");
   fflush (stdout);
 }