# HG changeset patch
# User Matt Johnston <matt@ucc.asn.au>
# Date 1392209850 -28800
# Node ID e27075b1e088df1d3f62f6b826491cdb5eb05533
# Parent  4f832e28ffc0684f84e0b4e3a27b3efa603593c4
Make sure we close descriptor before rename

diff -r 4f832e28ffc0 -r e27075b1e088 py/receive.py
--- a/py/receive.py	Tue Feb 11 23:48:35 2014 +0800
+++ b/py/receive.py	Wed Feb 12 20:57:30 2014 +0800
@@ -44,8 +44,10 @@
             delete = False)
 
         t.write(json.dumps(new_params, sort_keys=True, indent=4)+'\n')
+        name = t.name
+        t.close()
 
-        os.rename(t.name, config.PARAMS_FILE)
+        os.rename(name, config.PARAMS_FILE)
     except Exception, e:
         return "Problem: %s" % e