Mercurial > urweb
comparison src/settings.sml @ 1956:ac1be85e91ad
Add 'html5' .urp directive
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 09 Jan 2014 17:27:24 -0500 |
parents | 0992323fa264 |
children | 3cc14f1e47d1 |
comparison
equal
deleted
inserted
replaced
1955:469e02eea43a | 1956:ac1be85e91ad |
---|---|
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 | |
720 fun setIsHtml5 b = html5 := b | |
721 fun getIsHtml5 () = !html5 | |
722 | |
719 end | 723 end |