diff options
author | Jonas Bjurel <jonas.bjurel@ericsson.com> | 2016-02-04 16:39:46 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-02-04 16:39:47 +0000 |
commit | bb3f75c6af234e4f224a2095f0724a96527261fb (patch) | |
tree | d0c8f6a2fe2a759f3d68c024902eb4cd986ae1ac /build/docker/Dockerfile | |
parent | 81ed415e34a11fc828d6af3c6b780029fa2edc47 (diff) | |
parent | 22b92e36533bf2061d89b2f4275afded578c96d6 (diff) |
Merge "Properly clean up after SIGTERM (kill) and Ctrl-c" into stable/brahmaputra
Diffstat (limited to 'build/docker/Dockerfile')
0 files changed, 0 insertions, 0 deletions