server/sqlutils.py
changeset 4913 083b4d454192
parent 4899 c666d265fb95
child 4965 04543ed0bbdc
--- a/server/sqlutils.py	Wed Mar 10 16:07:24 2010 +0100
+++ b/server/sqlutils.py	Mon Mar 01 11:26:14 2010 +0100
@@ -94,14 +94,15 @@
     w('')
     dbhelper = db.get_db_helper(driver)
     if text_index:
-        w(dbhelper.sql_init_fti())
+        w(dbhelper.sql_init_fti().replace(';', ';;'))
         w('')
     w(schema2sql(dbhelper, schema, prefix=SQL_PREFIX,
-                 skip_entities=skip_entities, skip_relations=skip_relations))
+                 skip_entities=skip_entities,
+                 skip_relations=skip_relations).replace(';', ';;'))
     if dbhelper.users_support and user:
         w('')
         w(sqlgrants(schema, driver, user, text_index, set_owner,
-                    skip_relations, skip_entities))
+                    skip_relations, skip_entities).replace(';', ';;'))
     return '\n'.join(output)