From 6f208e9decf8eb053c8d73be61fa5af422958984 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nora=20Dimitrijevi=C4=87?= <d10c@users.noreply.github.com>
Date: Mon, 11 Aug 2025 18:55:09 +0200
Subject: [PATCH] Write overlay metadata at end of extraction.

---
 python/extractor/semmle/worker.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/python/extractor/semmle/worker.py b/python/extractor/semmle/worker.py
index 1005842daca..96761a01c77 100644
--- a/python/extractor/semmle/worker.py
+++ b/python/extractor/semmle/worker.py
@@ -192,6 +192,10 @@ class ExtractorPool(object):
             self.module_queue.put(None)
         for p in self.procs:
             p.join()
+        if 'CODEQL_EXTRACTOR_PYTHON_OVERLAY_BASE_METADATA_OUT' in os.environ:
+            with open(os.environ['CODEQL_EXTRACTOR_PYTHON_OVERLAY_BASE_METADATA_OUT'], 'w', encoding='utf-8') as f:
+                metadata = {}
+                json.dump(metadata, f)
         self.logger.info("Processed %d modules in %0.2fs", len(self.import_graph.done), time.time() - self.start_time)
 
     def stop(self, timeout=2.0):