diff options
author | Tobias Roeser <le.petit.fou@web.de> | 2019-02-24 10:48:07 +0100 |
---|---|---|
committer | Tobias Roeser <le.petit.fou@web.de> | 2019-02-24 10:48:07 +0100 |
commit | 477a2968eb251acbdc434000eb37d9f256b69f99 (patch) | |
tree | c945c6bfe839a08482bb9927dc6ec4733689bfab | |
parent | 684f2b7c33415d0e187ee27dbd8ff4b2bd35982d (diff) | |
download | mill-477a2968eb251acbdc434000eb37d9f256b69f99.tar.gz mill-477a2968eb251acbdc434000eb37d9f256b69f99.tar.bz2 mill-477a2968eb251acbdc434000eb37d9f256b69f99.zip |
Added fixme
-rw-r--r-- | main/src/main/MillServerMain.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/src/main/MillServerMain.scala b/main/src/main/MillServerMain.scala index 07d51254..55cef632 100644 --- a/main/src/main/MillServerMain.scala +++ b/main/src/main/MillServerMain.scala @@ -122,6 +122,7 @@ class Server[T](lockBase: String, val clientMillVersion = Util.readString(argStream) val serverMillVersion = sys.props("MILL_VERSION") if (clientMillVersion != serverMillVersion) { + // FIXME: exiting with 0 isn't correct, see https://github.com/lihaoyi/mill/issues/557 stdout.println(s"Mill version changed ($serverMillVersion -> $clientMillVersion), re-starting server") System.exit(0) } |