diff options
| author | Fuwn <[email protected]> | 2021-07-16 09:35:37 +0000 |
|---|---|---|
| committer | Fuwn <[email protected]> | 2021-07-16 09:35:37 +0000 |
| commit | 9b217c8b720c4998d12c33b15e789b30c5f1046f (patch) | |
| tree | 083eac659b8d0577b6061f534632cec657cc4197 /src/server_dev | |
| parent | Merge pull request #58 from Whirlsplash/renovate/sysinfo-0.x (diff) | |
| download | whirl-9b217c8b720c4998d12c33b15e789b30c5f1046f.tar.xz whirl-9b217c8b720c4998d12c33b15e789b30c5f1046f.zip | |
build(make): create kill task
Given that Whirl sometimes fails to exit properly (which should be fixed soon...), this task is
needed to kill all dangling Whirl processes.
Diffstat (limited to 'src/server_dev')
0 files changed, 0 insertions, 0 deletions