diff options
| author | Petter Jönsson <petter@petr.se> | 2011-12-07 01:17:23 +0100 |
|---|---|---|
| committer | Petter Jönsson <petter@petr.se> | 2011-12-07 01:17:23 +0100 |
| commit | a10c2ed8172351c6c2cfc5328e8969215a2dcb7b (patch) | |
| tree | bf106bf44b69f145c375f05670ecb0f3b49ac1d3 /update.php | |
| parent | 46d60592ad0829c2a3a2973f4fc327024c587fbe (diff) | |
backend: close file pointer before unlinking.
Diffstat (limited to 'update.php')
| -rwxr-xr-x | update.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/update.php b/update.php index ab4fc6c01..7b17c60f8 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"); ?> |