Merge 0.9->0.10
authorKim Alvefur <zash@zash.se>
Thu, 25 Feb 2016 22:37:41 +0100
changeset 7204 7a8cffafeff0
parent 7202 5846e0bca4ff (current diff)
parent 7203 67ac4a0b6e50 (diff)
child 7205 5bf0ff3882aa
Merge 0.9->0.10
util/datamanager.lua
--- a/util/datamanager.lua	Thu Feb 25 22:33:58 2016 +0100
+++ b/util/datamanager.lua	Thu Feb 25 22:37:41 2016 +0100
@@ -152,6 +152,7 @@
 		if not ok then break end
 
 		ok, msg = f:close();
+		f = nil; -- no longer valid
 		if not ok then break end
 
 		return os_rename(scratch, filename);