(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.