exit repl by eof