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

From: Date: Mon, 19 Dec 2011 16:57:46 +0000
Subject: Bug #60530 [Opn]: PHP Execution doesn't terminate when using circular references and mnemonics
References: 1  Groups: php.gtk.dev 
Request: Send a blank email to php-gtk-dev+get-4533@lists.php.net to get a copy of this message
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

« previous php.gtk.dev (#4533) next »