Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- if($_GET['cmd']=='stop'){
- $l=exec('ps -e -o pid,args |grep -E "php '.$id_ev.' [0-9]+ [0-9]+ '.$typePrice.'"');
- //убить процес
- if(preg_match_all('#^\d+#',$l,$tmp)){
- foreach($tmp[0] as $v){
- exec('kill -9 '.$v);
- }
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement