To fix postgres column renaming.

diff --git a/lib/datalib.php b/lib/datalib.php
index c5dc1ba7f46287cfc1deb4be803e5ffca45b9c04..f8e74f101cd0fddefa68b79ab7740f10dafd052d 100644 (file)
--- a/lib/datalib.php
+++ b/lib/datalib.php
@@ -135,8 +135,8 @@ function table_column($table, $oldfield, $field, $type="integer", $size="10",
             $dbinfo = $db->ServerInfo();
             $dbver = substr($dbinfo['version'],0,3);
             
-            $field = "$field";
             //to prevent conflicts with reserved words
+            $field = "\"$field\"";
             $oldfield = "\"$oldfield\"";
 
             switch (strtolower($type)) {