(no version information, might be only in CVS)
php_stream_close -- Close a stream
Description
int
php_stream_close ( php_stream * stream)
php_stream_close() safely closes stream
and releases the resources associated with it. After stream
has been closed, it's value is undefined and should not be used.
php_stream_close() returns 0 if the stream was closed or
EOF to indicate an error. Regardless of the success of the call,
stream is undefined and should not be used after a call to
this function.