[Ur] Performance of Ur/Web in a live site

[Adam Chlipala]

Chris Double wrote:
> Pools provide a way of allowing clients to be
> notified when certain events occur. They do this by providing a
> 'longpoll' URL that clients connect too. It's a long lived HTTP
> request that the server sends data down when the event occurs. I
> haven't implemented this in Ur/Web, I've left it in a seperate server
> written in Mozart/Oz.
>    

You could use Ur/Web's message passing facility to implement this, if 
you're willing to ask clients to follow Ur/Web's internal protocol for 
message passing.  The advantage here would be that Ur/Web wouldn't use a 
process per connection, only a socket per connection.