C - Eof

#include <stdio.h>



main() {

int c;

while( (c = getchar()) != EOF)

    putchar(c);

}

Pessoal, estou compilando o programa acima no dev C++, mas não estou compreendendo o resultado. Ele não deveria se encerrar após a digitação dos caracteres (e após a impressão deles na tela) ? O meu executável não encerra nunca, depois que os caracteres são impressos, ele "pede" novamente que o usuário digite algo, como se tivesse executado de novo a função getchar. Mas o programa deveria sair do loop e se encerrar, não?

Agradeço a ajuda