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");
};