diff --git a/lib/setup.php b/lib/setup.php index 7274eeb..56ca618 100644 --- a/lib/setup.php +++ b/lib/setup.php @@ -419,7 +419,10 @@ global $HTTPSPAGEREQUIRED; if (!file_exists($CFG->dataroot .'/sessions')) { make_upload_directory('sessions'); } - if (!(disk_free_space($CFG->dataroot.'/sessions') > 0)) { + // Need to disable debugging since disk_free_space() + // will fail on very large partitions (see MDL-19222) + $freespace = @disk_free_space($CFG->dataroot.'/sessions'); + if (!($freespace > 0) and $freespace !== false) { echo ''; echo ''; echo '