Hello Wez,

  i used linux so there seems to be a problem with either flushing or the
fprintf not being called at all.

regards
marcus

Monday, June 20, 2005, 10:55:43 PM, you wrote:

> That should probably just be:

> #if PHP_WIN32
>      OutputDebugString(...);
> #endif
>      fprintf(stderr, ...);

> On 6/20/05, Michael Wallner <[EMAIL PROTECTED]> wrote:
>> Sorry, but I cannot speak for exit(), but I usually replace all occurrences 
>> of
>> 
>> #if PHP_WIN32
>>         OutputDebugString(...);
>> #else
>>         fprintf(stderr, ...);
>> #endif
>> 
>> with just fprintf(stderr, ...) to see any mem-leaks on Win32-CLI.

> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php




-- 
Best regards,
 Marcus                            mailto:[EMAIL PROTECTED]

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to