From 563557f21ed38d1a17d874950817af8316a13aa0 Mon Sep 17 00:00:00 2001
From: Matteo Scaramuccia <moodle@matteoscaramuccia.com>
Date: Sun, 24 Nov 2013 09:51:45 +0100
Subject: [PATCH] MDL-43039 Libraries "The session partition is full." false
 positive.

---
 lib/sessionlib.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/sessionlib.php b/lib/sessionlib.php
index be19e443eee..6b6d04562bc 100644
--- a/lib/sessionlib.php
+++ b/lib/sessionlib.php
@@ -435,7 +435,8 @@ class legacy_file_session extends session_stub {
         // 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 > 2048) and $freespace !== false) {
+        // MDL-43039: disk_free_space() returns null if disabled.
+        if (!($freespace > 2048) and ($freespace !== false) and ($freespace !== null)) {
             print_error('sessiondiskfull', 'error');
         }
         ini_set('session.save_path', $CFG->dataroot .'/sessions');