index 1cd965e390b526d89318918dd7569dfdaec4a049..b5ac861e13b4665b5ae1bf313fe0b34db5f2d300 100644 (file)
--- a/src/profile-manager.cpp
+++ b/src/profile-manager.cpp
ProfileManager::~ProfileManager()
{
+ _resource_connection.disconnect();
+ _doc = 0;
}
void ProfileManager::_resourcesChanged()