<?php
  exec("ps aux | grep node | awk '{print $2}'", $out);
  foreach ($out as $PID) {
      exec("sudo kill ".$PID);
  }
  exec("ps aux | grep a.out | awk '{print $2}'", $out);
  foreach ($out as $PID) {
      exec("sudo kill ".$PID);
  }
  header('Location: index.php');
  exit;
  ?>