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. 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
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur