[PHP-BUG] Bug #60530 [NEW]: PHP Execution doesn't terminate when using circular references and mnemonics

From:             
Operating system: Ubuntu 10.10
PHP version:      Irrelevant
Package:          PHP-GTK related
Bug Type:         Bug
Bug description:PHP Execution doesn't terminate when using circular references and mnemonics

Description:
------------
Used php-gtk: trunk at 2011-12-11

The provided script could be parametrized with the defines in the first
lines.
I provide a version which shows the bug (define('SHOW_BUG', true)), another
one, which avoids the bug (define('SHOW_BUG', false)) and another one,
which presents a workaround (define('USE_WORKAROUND', true)).

The bug occurs when one uses menu entries with mnemonics in their names in
conjunction with a circular reference in classes using php-gtk.
the bug doesn't occur if either the circular reference is resolved manually
or if there isn't any menu entry with a mnemonic in its name.

Test script:
---------------
a minimal script which reproduces the bug is located at
http://tasteful-revolution.net/bug.php.txt

Expected result:
----------------
When I close the window, the script should terminate normally.

Actual result:
--------------
When I close the window, the script doesn't terminate but leaves the gtk
main loop.

-- 
Edit bug report at https://bugs.php.net/bug.php?id=60530&edit=1
-- 
Try a snapshot (PHP 5.4):            https://bugs.php.net/fix.php?id=60530&r=trysnapshot54
Try a snapshot (PHP 5.3):            https://bugs.php.net/fix.php?id=60530&r=trysnapshot53
Try a snapshot (trunk):              https://bugs.php.net/fix.php?id=60530&r=trysnapshottrunk
Fixed in SVN:                        https://bugs.php.net/fix.php?id=60530&r=fixed
Fixed in SVN and need be documented: https://bugs.php.net/fix.php?id=60530&r=needdocs
Fixed in release:                    https://bugs.php.net/fix.php?id=60530&r=alreadyfixed
Need backtrace:                      https://bugs.php.net/fix.php?id=60530&r=needtrace
Need Reproduce Script:               https://bugs.php.net/fix.php?id=60530&r=needscript
Try newer version:                   https://bugs.php.net/fix.php?id=60530&r=oldversion
Not developer issue:                 https://bugs.php.net/fix.php?id=60530&r=support
Expected behavior:                   https://bugs.php.net/fix.php?id=60530&r=notwrong
Not enough info:                     https://bugs.php.net/fix.php?id=60530&r=notenoughinfo
Submitted twice:                     https://bugs.php.net/fix.php?id=60530&r=submittedtwice
register_globals:                    https://bugs.php.net/fix.php?id=60530&r=globals
PHP 4 support discontinued:          https://bugs.php.net/fix.php?id=60530&r=php4
Daylight Savings:                    https://bugs.php.net/fix.php?id=60530&r=dst
IIS Stability:                       https://bugs.php.net/fix.php?id=60530&r=isapi
Install GNU Sed:                     https://bugs.php.net/fix.php?id=60530&r=gnused
Floating point limitations:          https://bugs.php.net/fix.php?id=60530&r=float
No Zend Extensions:                  https://bugs.php.net/fix.php?id=60530&r=nozend
MySQL Configuration Error:           https://bugs.php.net/fix.php?id=60530&r=mysqlcfg