From d24be8cf6c6b13ad36743b7f6436b7673424de04 Mon Sep 17 00:00:00 2001 From: Henrixounez <30901439+Henrixounez@users.noreply.github.com> Date: Thu, 27 Jun 2019 02:08:36 +0200 Subject: [PATCH] getline: check if newline at the end to not cut end of line --- os/os.v | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/os/os.v b/os/os.v index 64dcfda16b..61ab53e0a9 100644 --- a/os/os.v +++ b/os/os.v @@ -415,7 +415,11 @@ pub fn get_line() string { if nr_chars == 0 { return '' } - return tos(buf, nr_chars - 1) + if buf[nr_chars - 1] == `\n` /* newline */ { + return tos(buf, nr_chars - 1) + } + /* To prevent cutting end of line if no newline */ + return tos(buf, nr_chars) } pub fn user_os() string {