Mercurial > urweb
comparison src/mono_opt.sml @ 1259:83b1853d1e58
URL-escape with '.' instead of '%', to avoid confusing proxies
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 18 May 2010 14:47:56 -0400 |
parents | 51e596feec37 |
children | 5137b0537c92 |
comparison
equal
deleted
inserted
replaced
1258:78b36c50daf9 | 1259:83b1853d1e58 |
---|---|
1 (* Copyright (c) 2008, Adam Chlipala | 1 (* Copyright (c) 2008-2010, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
84 "") | 84 "") |
85 ^ String.translate (fn #" " => "+" | 85 ^ String.translate (fn #" " => "+" |
86 | ch => if Char.isAlphaNum ch then | 86 | ch => if Char.isAlphaNum ch then |
87 str ch | 87 str ch |
88 else | 88 else |
89 "%" ^ hexIt ch) s | 89 "." ^ hexIt ch) s |
90 | 90 |
91 | 91 |
92 fun sqlifyInt n = #p_cast (Settings.currentDbms ()) (attrifyInt n, Settings.Int) | 92 fun sqlifyInt n = #p_cast (Settings.currentDbms ()) (attrifyInt n, Settings.Int) |
93 fun sqlifyFloat n = #p_cast (Settings.currentDbms ()) (attrifyFloat n, Settings.Float) | 93 fun sqlifyFloat n = #p_cast (Settings.currentDbms ()) (attrifyFloat n, Settings.Float) |
94 | 94 |