Esempio n. 1
0
function TestResult($no)
{
    global $pid;
    global $server;
    global $port;
    $results = array();
    sleep(3);
    killProcessAndChilds($pid, 9);
    sleep(1);
    for ($i = 0; $i < $no; $i += 1) {
        $myfile = fopen("Node " . $i . "/Latest.txt", "r") or die("Unable to open file!");
        $results[$i] = fread($myfile, filesize("Node " . $i . "/Latest.txt"));
        fclose($myfile);
    }
    $same = true;
    echo "Log 0 : {$results['0']}\n";
    for ($i = 1; $i < $no; $i += 1) {
        echo "Log {$i} : {$results[$i]}\n";
        if ($results[$i] != $results[0]) {
            $same = false;
        }
    }
}
Esempio n. 2
0
function killChild($data = "")
{
    if (empty($data)) {
        $data = getData();
    }
    if (isset($data["ppid"])) {
        killProcessAndChilds($data["ppid"]);
        #    $oridPid = $data["ppid"];
        #    $pids = getChildPids($data["ppid"]);
        #    posix_kill($data["ppid"], SIGINT) || doPrint("failed to send signal to ".$data["ppid"]);
        #    foreach($pids as $pid) {
        #         posix_kill($pid, SIGINT) || doPrint("failed to send signal to ".$pid);
        #    }
        #    posix_kill($data["ppid"], SIGSTOP);
        #    foreach($pids as $pid) {
        #         posix_kill($pid, SIGSTOP) || doPrint("failed to send signal to ".$pid);
        #    }
        #    posix_kill($data["ppid"], SIGKILL) || doPrint("failed to send signal to ".$data["ppid"]);
        #    foreach($pids as $pid) {
        #         doPrint("killed -9: ".getPidData($pid));
        #         posix_kill($pid, SIGKILL) || doPrint("failed to send signal to ".$pid);
        #    }
    }
    system("killall mplayer");
    system("sudo /usr/bin/killall mplayer");
    #$stopFailed = 0;
    #if(isset($origPid) and is_numeric($origPid)) {
    #    $out = getPidData($origPid);
    #    if(!empty($out)) {
    #        $stopFailed = 1;
    #        doPrint(getPidData($out));
    #    }
    #    $pids = getChildPids($origPid);
    #    foreach($pids as $pid) {
    #        $out = getPidData($origPid);
    #        if(!empty($out)) {
    #            $stopFailed = 1;
    #            doPrint(getPidData($out));
    #        }
    #    }
    #}
    #if($stopFailed == 1) {
    #    doPrint("stop failed!");
    #}
    unset($data["ppid"]);
    unset($data["start"]);
    unset($data["length"]);
    unset($data["title"]);
    unset($data["track"]);
    unset($data["artist"]);
    unset($data["album"]);
    unset($data["aktBin"]);
    unset($data["playingPic"]);
    $data["play"] = 0;
    $data["pause"] = 0;
    storeData($data);
    if (file_exists("./var/var/cache.jpg")) {
        unlink("./var/cache.jpg");
    }
    return $data;
}