enrol/mnet: list_remote_servers() must always return an array

diff --git a/enrol/mnet/enrol.php b/enrol/mnet/enrol.php
index c9ccb8d0c39d16999ec35b6eb6b16fc5d14fb249..b7b0b5e7a08c047754840b1416785797653d9d90 100644 (file)
--- a/enrol/mnet/enrol.php
+++ b/enrol/mnet/enrol.php
@@ -394,7 +394,12 @@ class enrolment_plugin_mnet {
                 h2s.serviceid = s.id AND
                 s.name = 'mnet_enrol'";
 
-        return get_records_sql($sql);
+        $res = get_records_sql($sql);
+        if (is_array($res)) {
+            return $res;
+        } else {
+            return array();
+        }
     }
 
     /**