getchar() EOF 怎么结束

getchar() EOF 如何结束?
#include <stdio.h>

int main(){

int c;

c=getchar();

while((c = getchar()) != EOF){
printf("true\n");
putchar(c); 
c=getchar();
}


}


不停的输入 

如何结束?




[解决办法]
http://bbs.chinaunix.net/thread-981231-1-1.html
[解决办法]
EOF 在linux下是ctrl+D,windows ctrl+Z