No, .. en $redir debes usar el URL completo:
http://www.domino.com/index.php
Fijate que eso se aplica a un header() de tipo "Location" ...
Por lo demás tus "$hola" y "$adios" no sé que fin le das .. pero deberías usar nombres de variables más descriptivas ..
También usar los arrays superglobales $_POST y demás. No hagas:
$login != $usuario_datos['username']) {
usa $_POST['login'] o de donde venga ($_GET? ...)
Un saludo,