Desconectar base antes de redirecionar

Boa tarde galera.

Uma dúvida simples, mas creio ser importantes.

seria necessário eu desconectar da base antes de redirecionar as páginas, ou o php gerencia isso?

tipo como se segue:

$db = new database();
$db->connect();

//checa login
$auth = new safety();
if(!$auth->safe($db)){
$db->disconnect(); // <<-- isso é necessário?

	header("location: login.php");
};