PHP stop_process_by_key Beispiele

Beispiel #1

Datei: ticks.php Projekt: weichaoduo/zeromore

function monitor_dir()
{
    $monitor_service_dir = APP_PATH . 'service/';
    $monitor_model_dir = APP_PATH . 'model/';
    //echo  "monitor_dir function is called\n" ;
    //echo time()."\n";
    if (check_files_change($monitor_service_dir)) {
        stop_process_by_key('workers');
        start_process_by_key('workers', 'restart', 10);
        echo "worker process restarted \n";
    }
}

Beispiel #2

Datei: function.php Projekt: weichaoduo/zeromore

function start_process_by_key($key, $cmd, $num)
{
    stop_process_by_key($key);
    $cmd = "D:\\php7\\php7.exe  " . CUR_PATH . "/workers.php " . time();
    for ($i = 1; $i < 10; $i++) {
        //execInBackground ( $cmd );
        pclose(popen("start /B " . $cmd, "r"));
    }
}