Bug #16133: PHP-GTK unset does not free memory for a widget

From: brett@brabys.co.za Operating system: Redhat Linux 7.1 PHP version: 4.1.2 PHP Bug Type: Performance problem Bug description: PHP-GTK unset does not free memory for a widget As the title explains, once a widget has been created, remove'ing it does not free the memory and unset'ing it does not either. This is particularly bad for long running gtk apps. The same happens with the CLI php without GTK however disableing the fast cache does deal with this. -- Edit bug report at http://bugs.php.net/?id=16133&edit=1 -- Fixed in CVS: http://bugs.php.net/fix.php?id=16133&r=fixedcvs Fixed in release: http://bugs.php.net/fix.php?id=16133&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=16133&r=needtrace Try newer version: http://bugs.php.net/fix.php?id=16133&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=16133&r=support Expected behavior: http://bugs.php.net/fix.php?id=16133&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=16133&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=16133&r=submittedtwice