Occhio però che in quella maniera se l'utente preme Ctrl-D o avviene un qualche errore di lettura finisci in un loop infinito...