catch KeyboardInt and quit decently
authorJF Ding <Jian-feng.Ding@intel.com>
Fri, 2 Sep 2011 06:38:36 +0000 (15:38 +0900)
committerJF Ding <Jian-feng.Ding@intel.com>
Fri, 2 Sep 2011 06:38:36 +0000 (15:38 +0900)
commita2220b31c5d68017672c3102e068274a57816ef0
tree459bddc610b27cebaf72e88ae2696cf69d9b9445
parenta485552cd428c8c2f98c034ffde3da8b6dc42f45
catch KeyboardInt and quit decently
plugins/backend/yumpkgmgr.py
tools/mic