diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-05-19 09:37:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-19 09:37:25 -0700 |
commit | a7cb99f1bce04366f688d36bc9faef30161da8e7 (patch) | |
tree | 8e4d03449536bd0400f454c863fc3031c4f02f7b /build.sc | |
parent | b03cf740533810e95774c079c76788d7ad61d8a2 (diff) | |
download | mill-a7cb99f1bce04366f688d36bc9faef30161da8e7.tar.gz mill-a7cb99f1bce04366f688d36bc9faef30161da8e7.tar.bz2 mill-a7cb99f1bce04366f688d36bc9faef30161da8e7.zip |
WIP keep mill server alive if you Ctrl-C during --watch (#339)
* wip
* Clean up more resources in the Mill client after every command
* catch and ignore SIGINT in Mill server to make it survive Ctrl-C on the client
Diffstat (limited to 'build.sc')
-rwxr-xr-x | build.sc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -243,10 +243,10 @@ def launcherScript(shellJvmArgs: Seq[String], s"""case "$$1" in | -i | --interactive ) - | ${java("mill.Main")} + | ${java("mill.MillMain")} | ;; | *) - | ${java("mill.main.client.Main")} + | ${java("mill.main.client.MillClientMain")} | ;; |esac""".stripMargin }, |