fix #1353 os.get_line
parent
45029f8c86
commit
8484de86c7
|
@ -509,11 +509,12 @@ pub fn filename(path string) string {
|
||||||
// get_line returns a one-line string from stdin
|
// get_line returns a one-line string from stdin
|
||||||
pub fn get_line() string {
|
pub fn get_line() string {
|
||||||
str := get_raw_line()
|
str := get_raw_line()
|
||||||
if str[str.len - 1] == `\n` {
|
$if windows {
|
||||||
return str.substr(0, str.len - 1)
|
return str.trim_right('\r\n')
|
||||||
|
}
|
||||||
|
$else {
|
||||||
|
return str.trim_right('\n')
|
||||||
}
|
}
|
||||||
|
|
||||||
return str
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// get_raw_line returns a one-line string from stdin along with '\n' if there is any
|
// get_raw_line returns a one-line string from stdin along with '\n' if there is any
|
||||||
|
|
Loading…
Reference in New Issue