[Ur] rpc using POST?

Chris Double chris.double at double.co.nz
Wed Nov 13 03:39:55 EST 2013


Adam Chlipala <adamc at csail.mit.edu> writes:

> I think all RPCs are done via POST, and any data that don't fit in the 
> URI (according to something of a guess about URI size limits) are 
> automatically put into the POST data.  Do you have a concrete use case 
> that shows a problem in any real browser?

Ok, thanks. I saw that it was by POST but noticed the large URL and
wasn't sure if this would be a problem. I'll ignore it as it seems to
work fine.

-- 
http://www.bluishcoder.co.nz



More information about the Ur mailing list