From fa9dcf5704f1eb4b6632279d80fdd930db73db69 Mon Sep 17 00:00:00 2001
From: Karen Arutyunov <karen@codesynthesis.com>
Date: Wed, 28 Feb 2024 11:53:15 +0300
Subject: Fix 'already used by another process' error on deinit

---
 bdep/sync.hxx | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'bdep/sync.hxx')

diff --git a/bdep/sync.hxx b/bdep/sync.hxx
index f951a40..f71fd12 100644
--- a/bdep/sync.hxx
+++ b/bdep/sync.hxx
@@ -155,11 +155,19 @@ namespace bdep
   // specified configuration with their project directory repository being
   // masked.
   //
+  // Note that it is not very likely but still possible that the
+  // deinitialization of a package may end up with associating new
+  // configurations with the project. Think of deorphaning a package, which
+  // has been replaced with another version that got some new build-time
+  // dependency.
+  //
   void
   cmd_sync_deinit (const common_options&,
                    const dir_path& prj,
                    const shared_ptr<configuration>&,
-                   const strings& pkgs);
+                   const strings& pkgs,
+                   transaction* = nullptr,
+                   vector<pair<dir_path, string>>* created_cfgs = nullptr);
 
   int
   cmd_sync (cmd_sync_options&&, cli::group_scanner& args);
-- 
cgit v1.1