comparison src/settings.sml @ 1959:3cc14f1e47d1

Stop quoting Postgres identifiers in 'noMangleSql' mode
author Adam Chlipala <adam@chlipala.net>
date Wed, 15 Jan 2014 15:46:46 -0500
parents ac1be85e91ad
children b15a4c2cb542 334b5cbff198
comparison
equal deleted inserted replaced
1958:4ef0c6605b3a 1959:3cc14f1e47d1
708 708
709 val mangle = ref true 709 val mangle = ref true
710 fun setMangleSql x = mangle := x 710 fun setMangleSql x = mangle := x
711 fun mangleSqlTable s = if !mangle then "uw_" ^ capitalize s 711 fun mangleSqlTable s = if !mangle then "uw_" ^ capitalize s
712 else if #name (currentDbms ()) = "mysql" then capitalize s 712 else if #name (currentDbms ()) = "mysql" then capitalize s
713 else "\"" ^ lowercase s ^ "\"" 713 else lowercase s
714 fun mangleSql s = if !mangle then "uw_" ^ s 714 fun mangleSql s = if !mangle then "uw_" ^ s
715 else if #name (currentDbms ()) = "mysql" then lowercase s 715 else if #name (currentDbms ()) = "mysql" then lowercase s
716 else "\"" ^ lowercase s ^ "\"" 716 else lowercase s
717 fun mangleSqlCatalog s = if !mangle then "uw_" ^ s else lowercase s 717 fun mangleSqlCatalog s = if !mangle then "uw_" ^ s else lowercase s
718 718
719 val html5 = ref false 719 val html5 = ref false
720 fun setIsHtml5 b = html5 := b 720 fun setIsHtml5 b = html5 := b
721 fun getIsHtml5 () = !html5 721 fun getIsHtml5 () = !html5