284285286287288289290291292293294
} } if (ses == null) { throw new ClipsServerException("Внутренняя ошибка: Попытка завершить незарегистрированную сессию"); } ses.decRefCount(); if (ses.getRefCount() == 0) { manager.remove(ses); } else { manager.merge(ses); }