os: update doc comment for input_opt return (#19223)

This commit is contained in:
Turiiya 2023-08-27 12:40:21 +02:00 committed by GitHub
parent adf10f88cf
commit 981ff192e4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -276,7 +276,7 @@ pub fn file_name(opath string) string {
}
// input_opt returns a one-line string from stdin, after printing a prompt.
// In the event of error (end of input), it returns `none`.
// Returns `none` in case of an error (end of input).
pub fn input_opt(prompt string) ?string {
print(prompt)
flush()