[Ur] Multiple urweb instances

[Adam Chlipala]

On 04/06/2014 09:40 PM, Chris Double wrote:
> Is it safe to run multiple Ur/Web instances pointing to the same
> database? For load balance or accessing from a different domain for
> example. I'm just checking to make sure there's no state kept by the
> urweb process that would cause issues when there are multiple
> processes.
>    

It's fine if your application doesn't use message-passing channels 
(i.e., with [send]).  These channels are represented in databases with 
UNIX file descriptors, for now.