server and repl now work