Andy Wingo <wi...@pobox.com> skribis: > On Wed 04 Mar 2015 11:10, l...@gnu.org (Ludovic Courtès) writes: > >> diff --git a/libguile/gc.c b/libguile/gc.c >> index 097cb3d..78999c2 100644 >> --- a/libguile/gc.c >> +++ b/libguile/gc.c >> @@ -609,6 +609,7 @@ scm_storage_prehistory () >> target_free_space_divisor = free_space_divisor; >> GC_set_free_space_divisor (free_space_divisor); >> GC_set_finalize_on_demand (1); >> + GC_set_java_finalization (1); >> >> GC_INIT (); > > This is the wrong patch :) As you can see in scm_init_guardians() we > actually already call this, and the novelty would be to have not-java > finalization.
Oops, sorry for the confusion. Well anyway, that’s the thing to do: test and see what wrecks havoc. Ludo’.
