/**
* Graceful disconnect from the server
*
*/
public function disconnect()
{
try {
if ($this->connection && $this->connection->isConnected()) {
if ($this->protocol) {
$this->sendFrame($this->protocol->getDisconnectFrame(), false);
}
$this->connection->disconnect();
}
} catch (StompException $ex) {
// nothing!
}
$this->sessionId = null;
$this->subscriptions = array();
$this->unprocessedFrames = array();
$this->protocol = null;
}
