add a check for disk_free_space in Config.php

Signed-off-by: Simon L <szaimen@e.mail.de>

diff --git a/lib/private/Config.php b/lib/private/Config.php
index 7e9684dda91c014f1d136aa07ea3ab54bcee84c9..3da055c9f9856769bafd1874559f41507894f3a6 100644 (file)
--- a/lib/private/Config.php
+++ b/lib/private/Config.php
@@ -278,10 +278,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