Skip to content
Commit f0413a44 authored by Dennis Nienhüser's avatar Dennis Nienhüser
Browse files

Unload plugins at shutdown, fix memory leaks 

Note that this might require changes in 3rd party plugins as unloading
happens very late. See e.g. 485db2e8 and fca70af3.
parent 3d273532
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment