os: make write_file() return an optional
parent
3774ae0d91
commit
63ef04e03e
|
@ -863,9 +863,9 @@ pub fn home_dir() string {
|
||||||
}
|
}
|
||||||
|
|
||||||
// write_file writes `text` data to a file in `path`.
|
// write_file writes `text` data to a file in `path`.
|
||||||
pub fn write_file(path, text string) {
|
pub fn write_file(path, text string) ?{
|
||||||
mut f := os.create(path) or {
|
mut f := os.create(path) or {
|
||||||
return
|
return error(err)
|
||||||
}
|
}
|
||||||
f.write(text)
|
f.write(text)
|
||||||
f.close()
|
f.close()
|
||||||
|
|
Loading…
Reference in New Issue