Parcourir la source

Close ref file after writing to it.

Jelmer Vernooij il y a 16 ans
Parent
commit
aa596748f9
1 fichiers modifiés avec 5 ajouts et 1 suppressions
  1. 5 1
      dulwich/repo.py

+ 5 - 1
dulwich/repo.py

@@ -206,7 +206,11 @@ class Repo(object):
 
     def set_ref(self, name, value):
         file = os.path.join(self.controldir(), name)
-        open(file, 'w').write(value+"\n")
+        f = open(file, 'w')
+        try:
+            f.write(value+"\n")
+        finally:
+            f.close()
 
     def remove_ref(self, name):
         file = os.path.join(self.controldir(), name)