diff --git a/lib/db/install.xml b/lib/db/install.xml
index 67626cf..fd01eba 100644
--- a/lib/db/install.xml
+++ b/lib/db/install.xml
@@ -1000,7 +1000,7 @@
-
+
diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 3dec7a4..ab1fd94 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -3184,6 +3184,15 @@ function xmldb_main_upgrade($oldversion=0) {
}
upgrade_main_savepoint($result, 2007101551);
}
+
+ /// MDL-17863. Increase the portno column length on mnet_host to handle any port number
+ if ($result && $oldversion < 2007101561) {
+ $table = new XMLDBTable('mnet_host');
+ $field = new XMLDBField('portno');
+ $field->setAttributes(XMLDB_TYPE_INTEGER, '5', true, true, null, false, false, 0);
+ $result = change_field_precision($table, $field);
+ upgrade_main_savepoint($result, 2007101561);
+ }
return $result;
}
diff --git a/version.php b/version.php
index b5b8ebd..66294a0 100644
--- a/version.php
+++ b/version.php
@@ -6,7 +6,7 @@
// This is compared against the values stored in the database to determine
// whether upgrades should be performed (see lib/db/*.php)
- $version = 2007101560; // YYYYMMDD = date of the 1.9 branch (don't change)
+ $version = 2007101561; // YYYYMMDD = date of the 1.9 branch (don't change)
// X = release number 1.9.[0,1,2,3,4,5...]
// Y.YY = micro-increments between releases