handle eof\ctrl-d