From c30a3674f2fd9ea41a1494ad2e20dc00939434fb Mon Sep 17 00:00:00 2001
From: tchernobog <tchernobog@3ecf2c5c-341e-0410-92b4-d18e462d057c>
Date: Mon, 28 Aug 2006 21:01:32 +0000
Subject: [PATCH] - Use deletor for deleting all policies from the manager

git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@952 3ecf2c5c-341e-0410-92b4-d18e462d057c
---
 plugins/pyloader/src/python_cpu_policy_manager.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/plugins/pyloader/src/python_cpu_policy_manager.cc b/plugins/pyloader/src/python_cpu_policy_manager.cc
index 56f9aa5..7090d53 100644
--- a/plugins/pyloader/src/python_cpu_policy_manager.cc
+++ b/plugins/pyloader/src/python_cpu_policy_manager.cc
@@ -22,6 +22,8 @@
 #include "global_preferences.hh"
 #include "cpu_policies_gatekeeper.hh"
 
+#include "deletor.tcc"
+
 #include <Python.h>
 #include <glibmm/ustring.h>
 #include <glibmm/timer.h>
@@ -67,7 +69,7 @@ PythonCPUPolicyManager::PythonCPUPolicyManager()
 
 PythonCPUPolicyManager::~PythonCPUPolicyManager()
 {
-  for_each(_policies.begin(), _policies.end(), ptr_fun(operator delete));
+  for_each(_policies.begin(), _policies.end(), memory::deletor<CPUPolicy>());
 }