Ethan Atkins f9d5fbf29b Support reboot from remote client ... Reboot is a bit tricky for the remote client because the sbt server is actually shut down during reboot. When sbt shuts down the client, it can notify the client that the reason is a reboot. The client can then connect to the recently introduced boot control socket to display the reboot output and supply input in case the build fails to load. Once the server has brought back up the server, the client can reconnect. When the client session is interactive, we're done once we reconnect. When it's a batch session, the client needs to resend the remaing commands that have submitted that it hasn't yet run.		2020-06-29 16:41:33 -07:00
..
src	Support reboot from remote client	2020-06-29 16:41:33 -07:00
NOTICE	Add, configure & enforce file headers	2017-10-05 09:03:40 +01:00