Re: [Ur] Handling POST requests that aren't from forms

2010-12-15 Thread Adam Chlipala
Chris Double wrote: I want to use an external service that regularly sends a POST request to my Ur/Web application containing text data as the body of the POST. I tried something like the following to log to a file: fun notifyMessage body = dml (INSERT INTO messages (Message) VALUES

Re: [Ur] Handling POST requests that aren't from forms

2010-12-15 Thread Adam Chlipala
Chris Double wrote: On Thu, Dec 16, 2010 at 2:48 AM, Adam Chlipalaad...@impredicative.com wrote: There may be a good way of supporting externally-callable forms without this sort of acrobatics, but, for now, this method isn't so bad. Thanks cor that, I'll try it. One issue might be

Re: [Ur] Handling POST requests that aren't from forms

2010-12-15 Thread Adam Chlipala
Chris Double wrote: This is what the post request looks like that I'm receving: --8- Content-Type: application/json Content-Length: 19 {message:hello} --8- Oh, now I see what you mean, which should have been obvious to me from the start (sorry).

Re: [Ur] Handling POST requests that aren't from forms

2010-12-15 Thread Marc Weber
Excerpts from Chris Double's message of Wed Dec 15 09:40:40 +0100 2010: How can I write something in Ur/Web to handle this POST? Whatever the result of this discussion is - do you mind adding it to the a FAQ on the wiki? Marc Weber ___ Ur mailing