projects / tools / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ce0d14) | patch
add SIGTERM handler for exit gracefully 80/129280/1
authorDohyung Kim <dohyung2.kim@samsung.com>
Fri, 12 May 2017 02:17:27 +0000 (11:17 +0900)
committerDohyung Kim <dohyung2.kim@samsung.com>
Tue, 16 May 2017 02:45:15 +0000 (11:45 +0900)
commit323f877f97a1cb7942d30c09c8acaad006bfbb5f
tree20c7ff5ea30da2f0486eade93351868871c35f68tree | snapshot
parent2ce0d14dd4a06d4e487bf1d2505de9e94f70c994commit | diff
add SIGTERM handler for exit gracefully

mic exit abnormally when it get SIGTERM from kill command or jenkins cancel.
mouned directories reamin. it should be umount.

Signed-off-by: Dohyung Kim <dohyung2.kim@samsung.com>
Change-Id: I71d40bc409ffaed13f2c78ccfd6b03059a934a95
tools/mic diff | blob | history
Domain: SCM / Build;