From a142b3b4ba8923472ef536dc82ac694cf25b25f4 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Fri, 15 Aug 2003 14:17:15 +0000
Subject: [PATCH] New scale table for PostgreSQL

---
 lib/db/postgres7.php | 12 ++++++++++++
 lib/db/postgres7.sql | 10 ++++++++++
 version.php          |  2 +-
 3 files changed, 23 insertions(+), 1 deletion(-)

diff --git a/lib/db/postgres7.php b/lib/db/postgres7.php
index e4749cfe20..b648d27b1e 100644
--- a/lib/db/postgres7.php
+++ b/lib/db/postgres7.php
@@ -208,6 +208,18 @@ function main_upgrade($oldversion=0) {
         }
     }
 
+    if ($oldversion < 2003081502) {
+        execute_sql(" CREATE TABLE {$CFG->prefix}scale (
+                         id SERIAL PRIMARY KEY,
+                         courseid integer NOT NULL default '0',
+                         userid integer NOT NULL default '0',
+                         name varchar(255) NOT NULL default '',
+                         scale text,
+                         description text,
+                         timemodified integer NOT NULL default '0'
+                      )");
+    }
+
 
     return $result;
 }
diff --git a/lib/db/postgres7.sql b/lib/db/postgres7.sql
index 09abc3efaa..466717a324 100644
--- a/lib/db/postgres7.sql
+++ b/lib/db/postgres7.sql
@@ -103,6 +103,16 @@ CREATE TABLE prefix_modules (
    visible integer NOT NULL default '1'
 );
 
+CREATE TABLE prefix_scale (
+   id SERIAL PRIMARY KEY,
+   courseid integer NOT NULL default '0',
+   userid integer NOT NULL default '0',
+   name varchar(255) NOT NULL default '',
+   scale text,
+   description text,
+   timemodified integer NOT NULL default '0'
+);
+
 CREATE TABLE prefix_user (
    id SERIAL PRIMARY KEY,
    confirmed integer NOT NULL default '0',
diff --git a/version.php b/version.php
index 5af5c17203..d4d3a36d60 100644
--- a/version.php
+++ b/version.php
@@ -5,7 +5,7 @@
 // database to determine whether upgrades should
 // be performed (see lib/db/*.php)
 
-$version = 2003081501;   // The current version is a date (YYYYMMDDXX)
+$version = 2003081502;   // The current version is a date (YYYYMMDDXX)
 
 $release = "1.1 development";  // User-friendly version number
 
-- 
2.39.5