Merge branch 'master' into 'master'

Marius Cramer

2014-03-13 478a6a0fb2a56595c795c748f27e991450f29cde

 Merge branch 'master' into 'master'

Master

 server/lib/classes/system.inc.php

@@ -913,6 +913,38 @@
    }


    /**
     * This function checks the free space for a given directory
     * @param path check path
     * @param limit min. free space in bytes
     * @return bool - true when the the free space is above limit ohterwise false, opt. available disk-space
    */

    function check_free_space($path, $limit = 0, &$free_space = 0) {
        $path = rtrim($path, '/');

        /**
        * Make sure that we have only existing directories in the path.

        * Given a file name instead of a directory, the behaviour of the disk_free_space
        function is unspecified and may differ between operating systems and PHP versions.
        */
        while(!is_dir($path) && $path != '/') $path = realpath(dirname($path));

        $free_space = disk_free_space($out);

        if (!$free_space) {
            $free_space = 0;
            return false;
        }

        if ($free_space >= $limit) {
            return true;
        } else {
            return false;
        }

    }