| Index: trunk/tools/mwmultiversion/multiversion/MWMultiVersion.php |
| — | — | @@ -229,11 +229,11 @@ |
| 230 | 230 | die( "wikiversions.cdb has no extra version entry for `$db`.\n" ); |
| 231 | 231 | } |
| 232 | 232 | } |
| | 233 | + dba_close( $db ); |
| 233 | 234 | } else { |
| 234 | 235 | //trigger_error( "Unable to open wikiversions.cdb. Assuming php-1.17", E_USER_ERROR ); |
| 235 | 236 | $version = 'php-1.17'; |
| 236 | 237 | $extraVersion = ''; |
| 237 | | - dba_close( $db ); |
| 238 | 238 | } |
| 239 | 239 | |
| 240 | 240 | $this->version = $version; |