Made SERepl read the port of the nREPL server .