From 100004eeaf6c24f6c1b6e009ea60c991e29a8692 Mon Sep 17 00:00:00 2001
From: stijn <stinos@zoho.com>
Date: Thu, 28 May 2015 14:20:31 +0200
Subject: 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.
---
 unix/input.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'unix/input.c')

diff --git a/unix/input.c b/unix/input.c
index d41487c7e..9baa342b9 100644
--- 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");
-- 
cgit v1.2.3