Comment 4 for bug 530143

Muchas gracias, no volveré a subir el bug sin verificar que el bug soy yo.
if(Error de programador)
echo "Por favor presione una tecla y cambie de programador";