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 '.'; }
private function send($idSock, $function, $args = '') { $arrOut = array('function' => $function, 'args' => $args); $arrOutJSON = json_encode($arrOut); websock_send($idSock, $arrOutJSON); }