diff options
Diffstat (limited to 'lib/private/Config.php')
| -rw-r--r-- | lib/private/Config.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/private/Config.php b/lib/private/Config.php index 7308a3769df..a9ecaf2c825 100644 --- a/lib/private/Config.php +++ b/lib/private/Config.php @@ -288,7 +288,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!"); } |