From dae3b25c49b025cd2e9a62dd7ea4aa09ce338ddd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Mon, 9 May 2022 17:16:29 +0200
Subject: [PATCH] hotfix loading plugins
---
src/problem/problem.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/problem/problem.cpp b/src/problem/problem.cpp
index 20c6bf7dc..75f23c36e 100644
--- a/src/problem/problem.cpp
+++ b/src/problem/problem.cpp
@@ -132,7 +132,7 @@ ProblemPtr Problem::autoSetup(ParamsServer &_server)
WOLF_WARN(e.what());
WOLF_WARN("Setting '/usr/local/lib/' as plugins path...");
plugins_path="/usr/local/lib/";
- }
+ }*/
for (auto plugin_name : _server.getParam<std::vector<std::string>>("plugins"))
{
if (plugin_name == "core" or plugin_name == "wolf" or plugin_name == "") continue; // ignore plugin "core"
@@ -142,7 +142,7 @@ ProblemPtr Problem::autoSetup(ParamsServer &_server)
auto l = std::make_shared<LoaderRaw>(plugin);
l->load();
loaders.push_back(l);
- }*/
+ }
// load raw libs
std::vector<std::string> raw_libs;
--
GitLab