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 /.travis.yml | |
| 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 '.travis.yml')
0 files changed, 0 insertions, 0 deletions