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 /scratch/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 'scratch/build.sc')
-rw-r--r-- | scratch/build.sc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scratch/build.sc b/scratch/build.sc new file mode 100644 index 00000000..9ee78d63 --- /dev/null +++ b/scratch/build.sc @@ -0,0 +1,3 @@ +def thingy = T { + 1234567 +}
\ No newline at end of file |