Method finished

src/log/catchup.cpp:434–446

  }

  void finished(const Future<Nothing>& future)
  {
    if (future.isDiscarded()) {
      promise.discard();
      terminate(self());
    } else if (future.isFailed()) {
      promise.fail(future.failure());
      terminate(self());
    } else {
      promise.set(end);
      terminate(self());
    }
  }

  const size_t quorum;
  Shared<Replica> replica;