aleph

2019-06-10T01:16:17.001200Z

poking around aleph and I’m wondering what the shutdown api for a server is, if any? don’t see anything in the codox related to shutdown

kardan 2019-06-10T04:28:13.003Z

(.close server)

kardan 2019-06-10T04:28:23.003300Z

Where server is returned from start-server

2019-06-10T18:26:27.003500Z

perfect, thanks!