function close($socket) {
		if (isset($this->agents[(int)$socket]))
			unset($this->sockets[(int)$socket],$this->agents[(int)$socket]);
		stream_socket_shutdown($socket,STREAM_SHUT_WR);
		@fclose($socket);
	}
function close($socket) {
		if (isset($this->agents[(int)$socket]))
			unset($this->sockets[(int)$socket],$this->agents[(int)$socket]);
		stream_socket_shutdown($socket,STREAM_SHUT_WR);
		@fclose($socket);
	}
function close ( $ socket ) { if ( isset ( $ this -> agents [ ( int ) $ socket ] ) ) unset ( $ this -> sockets [ ( int ) $ socket ] , $ this -> agents [ ( int ) $ socket ] ) ; stream_socket_shutdown ( $ socket , STREAM_SHUT_WR ) ; @ fclose ( $ socket ) ; }
Close stream socket
@return NULL
@param $socket resource
Close stream socket