projects / platform / upstream / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 750579d) | patch
add SIGTERM handler for exit gracefully
authorDohyung Kim <dohyung2.kim@samsung.com>
Fri, 12 May 2017 02:17:27 +0000 (11:17 +0900)
committerxiaojuan.mao <xiaojuan.mao@samsung.com>
Thu, 13 Jul 2017 03:20:45 +0000 (11:20 +0800)
commit85de89a3b1273899cca5b67830e6e18a116b9a2c
tree5aa855d4266d48237b06ee317ed6daa0ffc0e230tree | snapshot
parent750579dd6d45926ec2a993d60782956bbe704cdbcommit | 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;