diff --git a/lib/private/Config.php b/lib/private/Config.php index 7308a3769dfe0..a9ecaf2c8257f 100644 --- a/lib/private/Config.php +++ b/lib/private/Config.php @@ -288,7 +288,7 @@ private function writeData() { // 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!"); }