From a10c2ed8172351c6c2cfc5328e8969215a2dcb7b Mon Sep 17 00:00:00 2001
From: =?utf8?q?Petter=20J=F6nsson?= <petter@petr.se>
Date: Wed, 7 Dec 2011 01:17:23 +0100
Subject: [PATCH] backend: close file pointer before unlinking.

---
 update.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/update.php b/update.php
index ab4fc6c0..7b17c60f 100755
--- a/update.php
+++ b/update.php
@@ -120,6 +120,10 @@
 	}
 
 	db_close($link);
+	
+	if ($lock_handle != false) {
+		fclose($lock_handle);
+	}
 
 	unlink(LOCK_DIRECTORY . "/$lock_filename");
 ?>
-- 
2.39.5