Description:
------------
Results of php_strip_whitespace() are not flushed upon exit.
Create new folder, place there php.exe and php5ts.dll, create a new php file a.php with the code below, and run php.exe -n a.php

However, manually placing flush() before exit fixes the problem. And it WAS working without flush() in Beta2 (version I used before).

p.s. Maybe modify this function to return result as a string?


Reproduce code:
---------------
<?

function str_php_strip_whitespace($filename) {
    exec("php.exe -n a.php $filename", $buf);
    return $buf[0];
}

    if ($argc > 1) {
        php_strip_whitespace($argv[1]);
        //flush(); // manual fix
        exit;
    }

    echo str_php_strip_whitespace(__FILE__);

?>


Expected result:
----------------
Source of a.php without whitespaces

Actual result:
--------------
Nothing