New course field called idnumber ... acts as storage for an external

id number for each course.  Used in external processing of course and
user_students and user_teachers tables.

lib/db/mysql.php

@@ -780,6 +780,12 @@ function main_upgrade($oldversion=0) {
         table_column('user_teachers', "", 'timestart', 'int', '10', 'unsigned', '0', 'not null', 'editall');
     }
 
+    if ($oldversion < 2004062401) {
+        table_column('course', '', 'idnumber', 'varchar', '100', '', '', 'not null', 'shortname');
+        execute_sql('UPDATE '.$CFG->prefix.'course SET idnumber = shortname');   // By default
+    }
+
+
     return $result;
 
 }

lib/db/mysql.sql

@@ -34,6 +34,7 @@ CREATE TABLE `prefix_course` (
   `password` varchar(50) NOT NULL default '',
   `fullname` varchar(254) NOT NULL default '',
   `shortname` varchar(15) NOT NULL default '',
+  `idnumber` varchar(50) NOT NULL default '',
   `summary` text NOT NULL,
   `format` varchar(10) NOT NULL default 'topics',
   `showgrades` smallint(2) unsigned NOT NULL default '1',

lib/db/postgres7.php

@@ -522,6 +522,12 @@ function main_upgrade($oldversion=0) {
         table_column('user_teachers', "", 'timestart', 'int', '10', 'unsigned', '0', 'not null', 'editall');
     }
 
+    if ($oldversion < 2004062401) {
+        table_column('course', '', 'idnumber', 'varchar', '100', '', '', 'not null', 'shortname');
+        execute_sql('UPDATE '.$CFG->prefix.'course SET idnumber = shortname');   // By default
+    }
+
+
     return $result;
 
 }

lib/db/postgres7.sql

@@ -12,6 +12,7 @@ CREATE TABLE prefix_course (
    password varchar(50) NOT NULL default '',
    fullname varchar(254) NOT NULL default '',
    shortname varchar(15) NOT NULL default '',
+   idnumber varchar(100) NOT NULL default '',
    summary text NOT NULL default '',
    format varchar(10) NOT NULL default 'topics',
    showgrades integer NOT NULL default '1',