/**
  * @param $lectureId
  * @Method('GET')
  * @Route('lectures/{integer $lectureId}/halls')
  * @return View
  * @throws \Exception
  */
 public function halls(integer $lectureId) : View
 {
     $service = new LecturesService($this->dbContext);
     $result = $service->getHallsForLecture($lectureId);
     if ($result->hasError()) {
         if ($result->getErrorCode() > 1) {
             throw new \Exception($result->getMessage(), $result->getErrorCode());
         } else {
             $this->addErrorMessage($result->getMessage());
             header('Location: ' . $_SERVER['HTTP_REFERER']);
         }
     } else {
         return new View('Lectures', 'selecthall', $result->getModel());
     }
 }