[Ur] Mandatory nginx conf: merge_slashes off

[Adam Chlipala]

Thanks for sharing that wisdom! Somehow I remember making a special 
effort to encode empty strings with underscores, precisely to avoid this 
problem (though it was appearing in Apache, if I recall correctly).  Can 
you point us to an example where it arises, in a URL that an Ur/Web app 
generates itself?

On 1/25/19 5:13 AM, Simon Van Casteren wrote:
> Hi,
>
> I just ran into an awful problem combining urweb with nginx. By 
> default, nginx by default merges double slashes in urls, eg: 
> http://www.bla.com//users becomes http//www.bla.com/users 
> <http://www.bla.com/users>. This can be a problem for UrWeb 
> applications since a double slash is actually how urweb encodes the 
> unit or () value.
>
> The solution is to use the option: "merge_slashes off".
>
> It's not a bug in either application so I didnt want me make an issue 
> for it, but this could be useful info for other people running Ur/Web 
> programs behind nginx...
>
> Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20190125/a4ad6d98/attachment.html>