Skip to content
Snippets Groups Projects
Commit 646d72d4 authored by Guillaume Pasero's avatar Guillaume Pasero
Browse files

BUG: clean registry sooner to avoid dl_close() crash

parent 4ec6c96f
No related merge requests found
......@@ -338,6 +338,10 @@ int main(int argc, char* argv[])
indexFile << group << "|" << module << std::endl;
indexFile.close();
std::cerr << "Updated " << algs_txt << std::endl;
appli = nullptr;
ApplicationRegistry::CleanRegistry();
return EXIT_SUCCESS;
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment