unix: Print an extra newline to the output on ctrl-D

stinos · pfalcon · commit 100004eeaf6c · 2015-05-30T13:38:17.000+03:00
This assures the terminal prints it's prompt on a fresh line instead of
appending it to the uPy prompt after exit.
diff --git a/unix/input.c b/unix/input.c
@@ -52,6 +52,7 @@ char *prompt(char *p) {
         vstr_clear(&vstr);
         if (ret == CHAR_CTRL_D) {
             // EOF
+            printf("\n");
             return NULL;
         } else {
             printf("\n");
