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()]);
 }