Minor change.

* mu/shell.c: Output newline when EOF is received.

@@ -627,7 +627,10 @@ mutool_shell (const char *name, struct mutool_command *cmd)
 	      continue;
 	      continue;
 	    }
 	    }
 	  else
 	  else
-	    break;
+	    {
+	      mu_printf ("\n");
+	      break;
+	    }
 	}
 	}
       
       
       /* Remove leading and trailing whitespace from the line.
       /* Remove leading and trailing whitespace from the line.