>>920
stdinの初期設定が違うんじゃね？
^C が受けられるかどうかの設定もできるし。
あるいは ^D とか。