diff options
| author | Christian Hesse <mail@eworm.de> | 2020-02-01 21:38:55 +0100 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2020-02-03 16:03:25 +0100 |
| commit | 1790630a168c0071d92d0cde713a8f9eca34d130 (patch) | |
| tree | 4724f64c32df02f4bdc02382007e0aa565ae7378 /lua/vis.lua | |
| parent | 9e36e729cee27f2b13c2b72cd600968c2c5e874f (diff) | |
| download | vis-1790630a168c0071d92d0cde713a8f9eca34d130.tar.gz vis-1790630a168c0071d92d0cde713a8f9eca34d130.tar.xz | |
build: properly kill docker container
We keep a running docker container in the background. If the build
process fails this becomes dangling. Make sure the container is properly
killed.
Diffstat (limited to 'lua/vis.lua')
0 files changed, 0 insertions, 0 deletions