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

[email protected] ("willyscheibel at gmx dot de") Mon, 19 Dec 2011 11:57:46 -0500
Newsgroups php.gtk.dev
Message-ID <[email protected]>
Edit report at https://bugs.php.net/bug.php?id=60530&edit=1

 ID:                 60530
 User updated by:    willyscheibel at gmx dot de
 Reported by:        willyscheibel at gmx dot de
 Summary:            PHP Execution doesn't terminate when using circular
                     references and mnemonics
 Status:             Open
 Type:               Bug
 Package:            PHP-GTK related
-Operating System:   Ubuntu 10.10
+Operating System:   Ubuntu 11.10
 PHP Version:        Irrelevant
 Block user comment: N
 Private report:     N

 New Comment:

Changed used OS


Previous Comments:
------------------------------------------------------------------------
[2011-12-15 11:27:19] willyscheibel at gmx dot de

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 this bug report at https://bugs.php.net/bug.php?id=60530&edit=1