diff options
| author | Pierre Joye <pajoye@php.net> | 2010-01-25 14:47:19 +0000 |
|---|---|---|
| committer | Pierre Joye <pajoye@php.net> | 2010-01-25 14:47:19 +0000 |
| commit | 5eb4db5e8fa197339fdd28f23f447da777623f2b (patch) | |
| tree | ca97e2057c87526a338b9ec6df67a2c6a6d8d085 /Zend/zend_execute_API.c | |
| parent | d0ab70458dcb98d5c7de2b6677f571d9fbfca043 (diff) | |
| download | php-git-5eb4db5e8fa197339fdd28f23f447da777623f2b.tar.gz | |
- Ensure that stderr output are not buffered, portability for tests
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index 4f2a6c66d9..f73df65e2a 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -74,6 +74,10 @@ static void zend_handle_sigsegv(int dummy) /* {{{ */ get_active_function_name(TSRMLS_C), zend_get_executed_filename(TSRMLS_C), zend_get_executed_lineno(TSRMLS_C)); +/* See http://support.microsoft.com/kb/190351 */ +#ifdef PHP_WIN32 + fflush(stderr); +#endif } if (original_sigsegv_handler!=zend_handle_sigsegv) { original_sigsegv_handler(dummy); |