>>805
EOF は特別なデータなの。End Of File。ファイルはもうお終いですよ、って印ね。
それ以外の、通常のデータとは全く意味が異なるの。
それで、EOF を検出したら、それ以降は何度読み込んでも EOF しか返ってこないの。
だから、2度目の fgets() でも即座に EOF を検出して NULL を返してるはず
だから調べてみ。