From febebafc250aff8e967d5ca689f813d1676be6bc Mon Sep 17 00:00:00 2001 From: Peter Repukat Date: Mon, 10 Oct 2022 00:34:34 +0200 Subject: [PATCH] GlosSITarget: Fix httpserver pids entries doubled --- GlosSITarget/AppLauncher.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/GlosSITarget/AppLauncher.cpp b/GlosSITarget/AppLauncher.cpp index 37ffdc1..a5eacf2 100644 --- a/GlosSITarget/AppLauncher.cpp +++ b/GlosSITarget/AppLauncher.cpp @@ -119,7 +119,8 @@ void AppLauncher::close() std::vector AppLauncher::launchedPids() { pid_mutex_.lock(); - std::vector res = pids_; + std::vector res; + res.reserve(pids_.size()); std::ranges::copy(pids_.begin(), pids_.end(), std::back_inserter(res)); pid_mutex_.unlock();