PHP - WebSocket设置特定的客户端ID

Question

我正在使用PHP websockets。我熟悉它的基础知识，但我无法弄清楚如何为用户设置特定的ID。现在，默认情况下，脚本根据用户连接的时间设置1,2,3等，但我希望它设置存储在会话中的ID。我使用的脚本是this。我找到了生成ID的函数。

function wsGetNextClientID() {
    $i = 1; // starts at 1 because 0 is the listen socket
    while (isset($this->wsRead[$i])) $i++;
    return $i;
}

有什么办法可以设定一个特定的吗？