]> git.wh0rd.org Git - tt-rss.git/commitdiff
backend: close file pointer before unlinking.
authorPetter Jönsson <petter@petr.se>
Wed, 7 Dec 2011 00:17:23 +0000 (01:17 +0100)
committerPetter Jönsson <petter@petr.se>
Wed, 7 Dec 2011 00:17:23 +0000 (01:17 +0100)
update.php

index ab4fc6c011bbe9718f45b25ba86f8ddecb560145..7b17c60f894d3c2249ea5fe4eecd21dd0cfc50a2 100755 (executable)
        }
 
        db_close($link);
+       
+       if ($lock_handle != false) {
+               fclose($lock_handle);
+       }
 
        unlink(LOCK_DIRECTORY . "/$lock_filename");
 ?>