From aa5b960ace514e036d932f6a45dc0c3a81f0db4a Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周六, 16 5月 2020 21:54:27 +0800
Subject: [PATCH] Merge branch 'develop' of https://github.com/open-license-manager/open-license-manager.git into develop
---
src/library/hw_identifier/hw_identifier_facade.cpp | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/src/library/hw_identifier/hw_identifier_facade.cpp b/src/library/hw_identifier/hw_identifier_facade.cpp
index a64ba58..d8c4ee0 100644
--- a/src/library/hw_identifier/hw_identifier_facade.cpp
+++ b/src/library/hw_identifier/hw_identifier_facade.cpp
@@ -29,6 +29,7 @@
result = strategy->validate_identifier(pc_id);
} catch (logic_error& e) {
LOG_ERROR("Error validating identifier %s: %s", str_code.c_str(), e.what());
+ ((void)(e));
}
return result;
}
--
Gitblit v1.9.1