diff options
| -rw-r--r-- | lib/private/Config.php | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/private/Config.php b/lib/private/Config.php index a9ecaf2c825..3ea822101df 100644 --- a/lib/private/Config.php +++ b/lib/private/Config.php @@ -286,10 +286,12 @@ 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 && $df < (float)$size) { - throw new \Exception($this->configDir . " does not have enough space for writing the config file! Not writing it back!"); + if (function_exists('disk_free_space')) { + $df = disk_free_space($this->configDir); + $size = strlen($content) + 10240; + 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!"); + } } // Try to acquire a file lock |