CampaignManager: destructor / cleanup

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1916 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-11-10 16:18:40 +00:00
parent 86ba9cb377
commit 35b1d0203e
1 changed files with 1 additions and 0 deletions
--- a/src/core/cpn/CampaignManager.hpp
+++ b/src/core/cpn/CampaignManager.hpp
@ -24,6 +24,7 @@ private:
 	Campaign* m_currentCampaign;
 public:
 	CampaignManager() : m_jobserver(0) { }
+	~CampaignManager() { delete m_jobserver; }
 	/**
 	 * Executes a user campaign
 	 */