Use new delete resource

This commit is contained in:
Antonio Andelic 2021-10-29 10:51:32 +02:00
parent 77c8a650fa
commit 695cefbd73

View File

@ -834,10 +834,10 @@ std::optional<plan::ProfilingStatsWithTotalTime> PullPlan::Pull(AnyStream *strea
std::optional<utils::LimitedMemoryResource> maybe_limited_resource;
if (memory_limit_) {
maybe_limited_resource.emplace(&pool_memory, *memory_limit_);
maybe_limited_resource.emplace(utils::NewDeleteResource(), *memory_limit_);
ctx_.evaluation_context.memory = &*maybe_limited_resource;
} else {
ctx_.evaluation_context.memory = &pool_memory;
ctx_.evaluation_context.memory = utils::NewDeleteResource();
}
// Returns true if a result was pulled.