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
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.


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


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 come up
with.
 

Does it make sense to post Mantis changes to this list if possible?
   


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.


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


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 can also get RSS feeds for just about anything that
Mantis does.

Chris.
-- 
http://www.bluishcoder.co.nz

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur