From 25792a154d53d515917c41256610a03a0a9de5f9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 18 May 2010 14:47:56 -0400
Subject: URL-escape with '.' instead of '%', to avoid confusing proxies

---
 src/mono_opt.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/mono_opt.sml')

diff --git a/src/mono_opt.sml b/src/mono_opt.sml
index fb6ff264..cf1b1cfe 100644
--- a/src/mono_opt.sml
+++ b/src/mono_opt.sml
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008, Adam Chlipala
+(* Copyright (c) 2008-2010, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -86,7 +86,7 @@ fun urlifyString s =
                              | ch => if Char.isAlphaNum ch then
                                          str ch
                                      else
-                                         "%" ^ hexIt ch) s
+                                         "." ^ hexIt ch) s
 
 
 fun sqlifyInt n = #p_cast (Settings.currentDbms ()) (attrifyInt n, Settings.Int)
-- 
cgit v1.2.3