util/datamanager.lua
changeset 7204 7a8cffafeff0
parent 7005 9ab0d5e69c41
parent 7203 67ac4a0b6e50
child 7205 5bf0ff3882aa
equal deleted inserted replaced
7202:5846e0bca4ff 7204:7a8cffafeff0
   150 
   150 
   151 		ok, msg = f:write(data);
   151 		ok, msg = f:write(data);
   152 		if not ok then break end
   152 		if not ok then break end
   153 
   153 
   154 		ok, msg = f:close();
   154 		ok, msg = f:close();
       
   155 		f = nil; -- no longer valid
   155 		if not ok then break end
   156 		if not ok then break end
   156 
   157 
   157 		return os_rename(scratch, filename);
   158 		return os_rename(scratch, filename);
   158 	until false;
   159 	until false;
   159 
   160