summaryrefslogtreecommitdiff
path: root/build.sc
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2018-05-19 09:37:25 -0700
committerGitHub <noreply@github.com>2018-05-19 09:37:25 -0700
commita7cb99f1bce04366f688d36bc9faef30161da8e7 (patch)
tree8e4d03449536bd0400f454c863fc3031c4f02f7b /build.sc
parentb03cf740533810e95774c079c76788d7ad61d8a2 (diff)
downloadmill-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-xbuild.sc4
1 files changed, 2 insertions, 2 deletions
diff --git a/build.sc b/build.sc
index 5f77873a..79b2d46a 100755
--- a/build.sc
+++ b/build.sc
@@ -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
},