handle stdin EOF