summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-01-15 15:46:46 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-01-15 15:46:46 -0500
commit0a313e650a2642692ebc55788f49c880a6147903 (patch)
tree3651a62cab5dd88ede41c481615dcfd1de066e69
parent290e7ca0cea301e5f3f85981248459ba7c861959 (diff)
Stop quoting Postgres identifiers in 'noMangleSql' mode
-rw-r--r--src/settings.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/settings.sml b/src/settings.sml
index be998ec2..93f54427 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -710,10 +710,10 @@ val mangle = ref true
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