Merge pull request #114 from BenjaminSchaaf/patch-1

Fix error message in FileStream.write
This commit is contained in:
Sönke Ludwig 2019-01-07 07:06:34 +01:00 committed by GitHub
commit ea4917d4d0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -507,7 +507,7 @@ struct FileStream {
); );
ctx.ptr += res[2]; ctx.ptr += res[2];
if (ctx.ptr > ctx.size) ctx.size = ctx.ptr; if (ctx.ptr > ctx.size) ctx.size = ctx.ptr;
enforce(res[1] == IOStatus.ok, "Failed to read data from disk."); enforce(res[1] == IOStatus.ok, "Failed to write data to disk.");
return res[2]; return res[2];
} }