Re: [Ur] Server threads?

2010-12-17 Thread Adam Chlipala
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

Re: [Ur] Server threads?

2010-12-17 Thread Adam Chlipala
Marc Weber wrote: Excerpts from Chris Double's message of Fri Dec 17 14:35:11 +0100 2010: On Sat, Dec 18, 2010 at 2:16 AM, Adam Chlipalaad...@impredicative.com wrote: Thanks, I've added them. Now that I've gotten over my fear of registering with mantis I'll try and do this for any issues I

Re: [Ur] Server threads?

2010-12-17 Thread Chris Double
On Sat, Dec 18, 2010 at 11:32 AM, Adam Chlipala ad...@impredicative.com wrote: I'd hope Mantis allows individual interested people to subscribe to changes, but I'm not sure if it's possible or how it works. In account/preferences of Mantis you can configure things to get email on changes. You