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

diff -r 1800a07f20e0 -r 905bbab632f7 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