}
function close() {
- if( isset($this->handle) )
+ if( isset($this->handle) ) {
dba_close( $this->handle );
+ }
unset( $this->handle );
}
}
function close() {
- if( isset($this->handle) )
+ if( isset($this->handle) ) {
dba_close( $this->handle );
+ }
if ( wfIsWindows() ) {
unlink( $this->realFileName );
}