private function closeFile( $file )
    {
        fwrite( $file, "return \$def;\n" );
        fwrite( $file, "\n" );
        fwrite( $file, "?>\n" );
        fclose( $file );
    }
private function closeFile( $file )
    {
        fwrite( $file, "return \$def;\n" );
        fwrite( $file, "\n" );
        fwrite( $file, "?>\n" );
        fclose( $file );
    }
private function closeFile ( $ file ) { fwrite ( $ file , "return \$def;\n" ) ; fwrite ( $ file , "\n" ) ; fwrite ( $ file , "?>\n" ) ; fclose ( $ file ) ; }
Close a file where a PersistentObject definition has been written to.
This method closes a file after writing a PersistentObject definition to
it and writes the PHP closing tag to it.

@param resource(file) $file The file resource to close.
@return void
Close a file where a PersistentObject definition has been written to . This method closes a file after writing a PersistentObject definition to it and writes the PHP closing tag to it .