/**
  *
  * @param Git_RemoteServer_GerritServer $server
  */
 public function delete(Git_RemoteServer_GerritServer $server)
 {
     if (!$this->isServerUsed($server)) {
         $this->dao->delete($server->getId());
         $this->system_event_manager->queueGerritReplicationKeyUpdate($server);
     }
 }
 public function itCreatesGerritReplicationKeyUpdateEvent()
 {
     $server = stub('Git_RemoteServer_GerritServer')->getId()->returns(9);
     expect($this->system_event_manager)->createEvent(SystemEvent_GIT_GERRIT_ADMIN_KEY_DUMP::NAME, 9, SystemEvent::PRIORITY_HIGH, SystemEvent::OWNER_APP)->once();
     $this->git_system_event_manager->queueGerritReplicationKeyUpdate($server);
 }