diff --git a/source/tools/inject/taskctl/taskctl.sh b/source/tools/inject/taskctl/taskctl.sh index eeee6130ab28023d3388e9cc973e3548d613f85f..e74bc03cfe2e76b40cb4674ed2e688d3cdaf68a9 100644 --- a/source/tools/inject/taskctl/taskctl.sh +++ b/source/tools/inject/taskctl/taskctl.sh @@ -24,7 +24,14 @@ while getopts 'p:t:edh' OPT; do exit 0 ;; "p") - echo "pid $OPTARG" > /proc/sysak/task_ctl + + if ps -p $OPTARG > /dev/null + then + echo "pid $OPTARG" > /proc/sysak/task_ctl + else + echo "The pid $OPTARG is not exists." + exit 1 + fi ;; "t") echo "type $OPTARG" > /proc/sysak/task_ctl