diff options
-rwxr-xr-x | update.php | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/update.php b/update.php index 0141b1a8e..ff6b82503 100755 --- a/update.php +++ b/update.php @@ -346,10 +346,6 @@ PluginHost::getInstance()->run_commands($options); - if ($lock_handle != false) { - fclose($lock_handle); - } - if (file_exists(LOCK_DIRECTORY . "/$lock_filename")) unlink(LOCK_DIRECTORY . "/$lock_filename"); ?> |