Allow manual termination of the REPL