Add support for "keyboard" input over the serial port.

[pintos-anon] / src / examples / shell.c

diff --git a/src/examples/shell.c b/src/examples/shell.c
index 916d25267ac758a198fb4d299af7fa54edf5bfd4..93641b45b8c3250ff3dd3582fc731668d34ebbe7 100644 (file)
--- a/src/examples/shell.c
+++ b/src/examples/shell.c
@@ -59,7 +59,7 @@ read_line (char line[], size_t size)
 
       switch (c) 
         {
-        case '\n':
+        case '\r':
           *pos = '\0';
           putchar ('\n');
           return;