diff options
author | 2016-02-03 10:35:24 +0100 | |
---|---|---|
committer | 2016-02-03 12:58:31 +0000 | |
commit | fa9995ac96219f2ce519d22223bf1e17cbdc6819 (patch) | |
tree | 1dc8516da7eb6c2d9f6b87922418b1b9342dd068 /build/docker/ubuntu-builder/install_docker.sh | |
parent | 6998c454dbf4f97bbbdd49948be87123a7f70078 (diff) |
Properly clean up after SIGTERM (kill) and Ctrl-c
Change-Id: Ibcd9bdda9aaebfd96d32a3efbc7a53f5428b5c91
Signed-off-by: Peter Barabas <peter.barabas@ericsson.com>
Diffstat (limited to 'build/docker/ubuntu-builder/install_docker.sh')
0 files changed, 0 insertions, 0 deletions