diff options
| -rw-r--r-- | document/src/vespa/document/repo/document_type_repo_factory.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/document/src/vespa/document/repo/document_type_repo_factory.cpp b/document/src/vespa/document/repo/document_type_repo_factory.cpp index 07cb7aec17a..208b64dc77c 100644 --- a/document/src/vespa/document/repo/document_type_repo_factory.cpp +++ b/document/src/vespa/document/repo/document_type_repo_factory.cpp @@ -71,6 +71,7 @@ DocumentTypeRepoFactory::make(const DocumenttypesConfig &config) bool DocumentTypeRepoFactory::empty() { + std::lock_guard guard(_mutex); return _repos.empty(); } |