cim 67c8f40349 JS garbage collection
Force garbage collection at more points where a short pause is okay. Log garbage collections called in update() for tracking purposes. So far they don't seem to have been needed with the additional planned ones.
2013-08-04 20:37:08 +01:00
..
2011-03-15 21:08:24 +00:00
2013-07-05 20:30:09 +01:00
2013-08-04 20:37:08 +01:00
2012-11-17 12:07:55 +00:00
2013-07-25 20:09:53 +01:00