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 /main | |
| parent | 684f2b7c33415d0e187ee27dbd8ff4b2bd35982d (diff) | |
| download | mill-477a2968eb251acbdc434000eb37d9f256b69f99.tar.gz mill-477a2968eb251acbdc434000eb37d9f256b69f99.tar.bz2 mill-477a2968eb251acbdc434000eb37d9f256b69f99.zip | |
Added fixme
Diffstat (limited to 'main')
| -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) } |