diff options
| -rw-r--r-- | console.c | 7 | 
1 files changed, 2 insertions, 5 deletions
| @@ -198,8 +198,7 @@ consoleintr(int (*getc)(void))          consputc(BACKSPACE);        }        break; -    case C('H'):  // Backspace -    case '\x7f': +    case C('H'): case '\x7f':  // Backspace        if(input.e != input.w){          input.e--;          consputc(BACKSPACE); @@ -207,9 +206,7 @@ consoleintr(int (*getc)(void))        break;      default:        if(c != 0 && input.e-input.r < INPUT_BUF){ -        // The serial port produces 0x13, not 0x10 -        if(c == '\r') -          c = '\n'; +        c = (c == '\r') ? '\n' : c;          input.buf[input.e++ % INPUT_BUF] = c;          consputc(c);          if(c == '\n' || c == C('D') || input.e == input.r+INPUT_BUF){ | 
