Delete adminer.version before writing (bug #855)

diff --git a/adminer/include/bootstrap.inc.php b/adminer/include/bootstrap.inc.php
index a14a05cb885e3ae9de83e77e2531a3400d9955d7..16fece751b560e1acb6bc106a476986f705ed875 100644 (file)
--- a/adminer/include/bootstrap.inc.php
+++ b/adminer/include/bootstrap.inc.php
@@ -30,7 +30,9 @@ if (isset($_GET["file"])) {
 }
 
 if ($_GET["script"] == "version") {
-       $fp = file_open_lock(get_temp_dir() . "/adminer.version");
+       $filename = get_temp_dir() . "/adminer.version";
+       unlink($filename); // it may not be writable by us
+       $fp = file_open_lock($filename);
        if ($fp) {
                file_write_unlock($fp, serialize(array("signature" => $_POST["signature"], "version" => $_POST["version"])));
        }