From 81555acc7282a9f02f97289cf48d0585f39cb131 Mon Sep 17 00:00:00 2001 From: Dibyendu Majumdar Date: Thu, 16 Jul 2020 23:11:07 +0100 Subject: [PATCH] Update docs to correctly state the default garbage collector. --- readthedocs/ravi-reference.rst | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/readthedocs/ravi-reference.rst b/readthedocs/ravi-reference.rst index c9b58d6..e1ed2fb 100644 --- a/readthedocs/ravi-reference.rst +++ b/readthedocs/ravi-reference.rst @@ -374,15 +374,17 @@ Generational Garbage Collection Ravi incorporates the generational garbage collector from Lua 5.4. Please refer to the Lua 5.4 manual regarding the api changes to support generational collection. -Note that by default, Ravi now enables generational garbage collector. +Note that by default, Ravi uses the incremental garbage collector. The generational collector is new and may have bugs in its implementation +(a few bugs have been reported on Lua mailing lists, fixes are being applied to Ravi when applicable). + +To switch to generational GC:: + + collectgarbage("generational") To switch to incremental GC:: collectgarbage("incremental") - -To switch to generational GC:: - collectgarbage("generational") ----------------------- Random Number Generator