Re: [Savonet-users] Number of assigned clocks keeps growing

2013-11-12 Thread David Baelde
Hi, In principle unused clocks should be garbage collected. This may take some time, but you can try to trigger it using the garbage_collect() builtin. I'm interested in investigating this issue if you're still puzzled by it, but I would need a simple script to play with. You must be using more

Re: [Savonet-users] Number of assigned clocks keeps growing

2013-11-12 Thread okay_awright
Hello I've already tried to force the garbage collection but apparently either it doesn't work right away or it means that those clocks are still in use because the number of clocks doesn't decrease after calling that function. My full example might not be trivial indeed. Here's what I'm