# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1389818806 18000
# Node ID 3cc14f1e47d1fd8177cb8d5a78ace0127b88e49d
# Parent  4ef0c6605b3ab79baf2777813be2414470e396ae
Stop quoting Postgres identifiers in 'noMangleSql' mode

diff -r 4ef0c6605b3a -r 3cc14f1e47d1 src/settings.sml
--- a/src/settings.sml	Wed Jan 15 14:54:26 2014 -0500
+++ b/src/settings.sml	Wed Jan 15 15:46:46 2014 -0500
@@ -710,10 +710,10 @@
 fun setMangleSql x = mangle := x
 fun mangleSqlTable s = if !mangle then "uw_" ^ capitalize s
                        else if #name (currentDbms ()) = "mysql" then capitalize s
-                       else "\"" ^ lowercase s ^ "\""
+                       else lowercase s
 fun mangleSql s = if !mangle then "uw_" ^ s
                   else if #name (currentDbms ()) = "mysql" then lowercase s
-                  else "\"" ^ lowercase s ^ "\""
+                  else lowercase s
 fun mangleSqlCatalog s = if !mangle then "uw_" ^ s else lowercase s
 
 val html5 = ref false