[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