On Mon, 2014-07-21 at 13:12 +0400, Dmitry Saprykin wrote: > Php interactive shell saves commands history when you exit it using 'quit'. > But it throws all you history away when you exit using Ctrl+C. It is common > practice to save history on SIGINT exit (mysql, mongo, etc.) > > I would like to implement SIGINT handler for interactive shell to save > history on Ctrl+C exit. > > Threre is request on bugs.php.net for this feature > https://bugs.php.net/bug.php?id=67496. > I have created pull request https://github.com/php/php-src/pull/727 but > was advised to create RFC to discuss this change. > > So could you provide some feedback.
I think messing with signals is not good - a script might try to catch them, too. What we can do is to save the file each time we execute something. (between the is valid code chack and zend_eval) johannes -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
