# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1456436261 -3600
# Node ID 7a8cffafeff080278c0ddea6e6b2931b27e2648c
# Parent  5846e0bca4ff32c228941d6d6ee4c931ec285dc2# Parent  67ac4a0b6e50012d0a4a33d3968503e0d33957e9
Merge 0.9->0.10

diff -r 5846e0bca4ff -r 7a8cffafeff0 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);