projects / tools / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc62d2a) | patch
skip unsupported plugin friendly
authorJF Ding <Jian-feng.Ding@intel.com>
Thu, 15 Sep 2011 09:17:59 +0000 (18:17 +0900)
committerJF Ding <Jian-feng.Ding@intel.com>
Thu, 15 Sep 2011 09:17:59 +0000 (18:17 +0900)
commit3072bd55b043d520ea357d24dce1dbf8a62c66f2
tree7d46424e8a927958ae0675134d179ddf4988a7c1tree | snapshot
parentdc62d2aff8106491b125c76b6f7d59ee7acc4a6bcommit | diff
skip unsupported plugin friendly

catch the ImportErrors, show warning, and skip it
mic/pluginmgr.py diff | blob | history
Domain: SCM / Build;