Advertisement
Guest User

Untitled

a guest
Aug 24th, 2016
48
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.14 KB | None | 0 0
  1. #!/usr/bin/php
  2. <?php
  3. $pid = 18283;
  4. $is_ok = posix_kill($pid, SIGKILL);
  5. if($is_ok){
  6. echo 'OK';
  7. } else {
  8. echo 'NOT OK';
  9. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement