PHP Connexion::getRessourceId示例

示例#1

文件： Index.php 项目： eleparquier/buzzer_server

 /**
  * Retire une connection de l'index
  * @param Connexion $conn
  */
 public function removeConnection(Connexion $conn)
 {
     unset($this->connections[$conn->getRessourceId()]);
 }