SERVER-104912 Mark core.servers (#46270)

GitOrigin-RevId: e957309f612c2e4465336a1ea13afdd79e451b95
2026-01-15 09:42:11 +01:00
parent 504566cdbf
commit baa858b1d1
8 changed files with 37 additions and 33 deletions
--- a/modules_poc/modules.yaml
+++ b/modules_poc/modules.yaml
@@ -100,6 +100,8 @@ core.service:

 # stuff that is part of a *specific* mongo server (eg mongos, mongod)
 core.servers:
+  meta:
+    fully_marked: true
  files:
    - src/mongo/db/mongod.cpp
    - src/mongo/db/mongod_main.*