From: Jakub Vrana <jakub@vrana.cz>
Date: Sun, 16 Mar 2025 20:39:02 +0000 (+0100)
Subject: Delete adminer.version before writing (bug #855)
X-Git-Tag: v5.0.6~20
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=68d4a5a650cc50fcb2bbc354a1178af155e8150f;p=adminer.git

Delete adminer.version before writing (bug #855)
---

diff --git a/adminer/include/bootstrap.inc.php b/adminer/include/bootstrap.inc.php
index a14a05cb..16fece75 100644
--- 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"])));
 	}