GitHub: Discord (official chat):
richiardiandrea 2018-05-01T00:18:35.000033Z

@pri it should actually start both

richiardiandrea 2018-05-01T00:18:58.000020Z

so what you did there should work

richiardiandrea 2018-05-01T00:19:23.000162Z

haven't tried lein in a while but you can test the socket repl with nc localhost 5555

richiardiandrea 2018-05-01T00:19:35.000220Z

if that does not work then lein did not start the socket repl

pre 2018-05-01T20:45:02.000685Z