From b3a64a91211dfb1fbda0c13612fabd587e2ed283 Mon Sep 17 00:00:00 2001 From: Simon L Date: Mon, 20 Feb 2023 10:15:20 +0100 Subject: [PATCH] fix it for 32-bit Signed-off-by: Simon L --- lib/private/Config.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/private/Config.php b/lib/private/Config.php index 039f81a75de..7e9684dda91 100644 --- a/lib/private/Config.php +++ b/lib/private/Config.php @@ -280,7 +280,7 @@ class Config { // Never write file back if disk space should be too low $df = disk_free_space($this->configDir); $size = strlen($content) + 10240; - if ($df !== false && (int)$df < $size) { + if ($df !== false && $df < (float)$size) { throw new \Exception($this->configDir . " does not have enough space for writing the config file! Not writing it back!"); }