diff options
| author | cah <cah@ableton.com> | 2022-10-04 08:53:45 +0200 |
|---|---|---|
| committer | cah <cah@ableton.com> | 2022-10-04 08:53:45 +0200 |
| commit | c9a6e16bfffad15db84b3a85e18fef45cace677d (patch) | |
| tree | f37f9781ac0eceb9345731a2fc5af7503e478959 | |
| parent | 0b1c33732bcc66d00d4486c2ccf7f8111a076ae2 (diff) | |
Kill docker image on SIGINT.kill-docker
| -rwxr-xr-x | cdist | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -549,6 +549,10 @@ class DockerTarget(Target): if config.has('docker_hub_repository'): tag = '%s:%s' % (config.get('docker_hub_repository'), tag) + def signal_handler(signum, frame): + self.cleanup() + signal.signal(signal.SIGINT, signal_handler) + self.container = command_and_read('%s run %s %s -itd %s /bin/bash' % (config.docker(), self._user_tag(), opts, tag))[0].strip() def command(self, cmd): |
