[Ur] Server threads?

Adam Chlipala adamc at impredicative.com
Fri Dec 17 08:16:44 EST 2010


Chris Double wrote:
> If a Client is in a table row and the client disconnects that row is
> removed automatically. Is it possible to also run a function at this
> time? Say I do some work when the client connects followed by adding
> them to the table, they disconnect, I want to cleanup the work I did
> previously before the row is removed. Is this possible?
>
> If not, is it possible to run some scheduled task or thread that
> periodically runs a function on the server to do this cleanup?
>    

Neither of these is supported now, but neither should be hard to add.  
If you open Mantis issues for one or both, I should get to them some 
time soon.



More information about the Ur mailing list