function websocket_while()
{
    global $STDIN, $sock, $SESS;
    if (!isset($STDIN)) {
        $STDIN = fopen('php://stdin', 'r');
    }
    stream_set_blocking($STDIN, FALSE);
    $STDINline = trim(fgets($STDIN));
    echo $STDINline;
    if (!empty($STDINline) && is_array($SESS) && count($SESS) > 0) {
        foreach ($SESS as $k => $v) {
            if ($SESS[$k]['websock']) {
                websock_send($k, $STDINline);
            }
        }
    }
    //echo '.';
}
Ejemplo n.º 2
0
 private function send($idSock, $function, $args = '')
 {
     $arrOut = array('function' => $function, 'args' => $args);
     $arrOutJSON = json_encode($arrOut);
     websock_send($idSock, $arrOutJSON);
 }