PGs doubles are caller DOUBLE PRECISION

diff --git a/lib/xmldb/classes/generators/postgres7/postgres7.class.php b/lib/xmldb/classes/generators/postgres7/postgres7.class.php
index 4a0d9d174b0e0cf3317f3f4bfed5bd3f87ba3d47..e9e2599bad382dbbfdd84ed48309b209eff8734a 100644 (file)
--- a/lib/xmldb/classes/generators/postgres7/postgres7.class.php
+++ b/lib/xmldb/classes/generators/postgres7/postgres7.class.php
@@ -87,7 +87,7 @@ class XMLDBpostgres7 extends XMLDBgenerator {
                 }
                 break;
             case XMLDB_TYPE_FLOAT:
-                $dbtype = 'DOUBLE';
+                $dbtype = 'DOUBLE PRECISION';
                 if (!empty($xmldb_decimals)) {
                     if ($xmldb_decimals < 6) {
                         $dbtype = 'REAL';