mirror of
https://github.com/sbt/sbt.git
synced 2026-10-06 10:03:56 +02:00
Stas Shevchenkoandeugene yokota
f389e676cd
* fix: restart the sbt server when -D options change * fix: don't restart on completions, wait for the socket * fix: only trust -D options recorded for this build * fix: confirm the server left before reporting it gone * Update protocol/src/main/contraband/portfile.contra Co-authored-by: eugene yokota <[email protected]> * fix: record the server -D options as a list * fix: record the -D options without their values The connection file keeps the name of each option and a salted digest of it rather than the option itself, and the comparison follows the JVM in taking the last definition of a name. A client that is not allowed to restart the server says which options it cannot pick up instead of staying quiet about them. * fix: compare the -D options given before a command A trailing -D option used to switch the whole comparison off, which dropped the options written before it, and a shutdown request that never reached the server waited the full timeout before saying so. * fix: leave a server no client started alone The connection file says whether its recorded options are the whole story, so a server an editor keeps is warned about instead of shut down, while one the client started with no options is still replaced. A restart that cannot reach the server warns and carries on rather than failing the invocation. * build: filter NetworkClient clinit in MiMa --------- Co-authored-by: eugene yokota <[email protected]>