Changes: garbage-collector: Don't restart timer in trigger()
authorAdrien Bustany <adrien.bustany@nokia.com>
Mon, 30 May 2011 13:42:00 +0000 (16:42 +0300)
committerAdrien Bustany <adrien.bustany@nokia.com>
Tue, 31 May 2011 11:21:05 +0000 (14:21 +0300)
commit44bd64ca36fe81d6792ce70fa06d31c89c0769ba
tree0a875b431b880f7ffe15e5923d8980b8f10d12d9
parente81d1e3709809b28eb9f15f732ce85ccd693af67
Changes: garbage-collector: Don't restart timer in trigger()

Not restarting the timer still allows batching (we don't run the GC
more than once every TriggerTimeout seconds), but still ensures you
can't postpone it forever.
plugins/garbage-collector/gcplugin.cpp