diff options
author | Jonas Bjurel <jonas.bjurel@ericsson.com> | 2016-02-04 10:02:28 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-02-04 10:02:28 +0000 |
commit | 86adfdbd4341706bac2ac840b977a637d1f2017e (patch) | |
tree | 68d1c4c2cc073261250b15a6fce94c8189fcefde /build/docker/ubuntu-builder | |
parent | e0f9c68e20b69f19ba50f17b367c918d30c4d13c (diff) | |
parent | fa9995ac96219f2ce519d22223bf1e17cbdc6819 (diff) |
Merge "Properly clean up after SIGTERM (kill) and Ctrl-c"
Diffstat (limited to 'build/docker/ubuntu-builder')
0 files changed, 0 insertions, 0 deletions