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

This assures the terminal prints it's prompt on a fresh line instead of
appending it to the uPy prompt after exit.
This commit is contained in:
stijn 2015-05-28 14:20:31 +02:00 committed by Paul Sokolovsky
parent 6a664cb114
commit 100004eeaf
1 changed files with 1 additions and 0 deletions

View File

@ -52,6 +52,7 @@ char *prompt(char *p) {
vstr_clear(&vstr);
if (ret == CHAR_CTRL_D) {
// EOF
printf("\n");
return NULL;
} else {
printf("\n");