From 35b1d0203eaccdb5d729da36b72b9f993aac747d Mon Sep 17 00:00:00 2001
From: hsc <hsc@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Sat, 10 Nov 2012 16:18:40 +0000
Subject: [PATCH] CampaignManager: destructor / cleanup

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1916 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
---
 src/core/cpn/CampaignManager.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/cpn/CampaignManager.hpp b/src/core/cpn/CampaignManager.hpp
index d283388a..fd87e042 100644
--- 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
 	 */