diff --git a/server/filtergamin.py b/server/filtergamin.py index d0f8adcb..bb5b00b3 100644 --- a/server/filtergamin.py +++ b/server/filtergamin.py @@ -117,5 +117,15 @@ class FilterGamin(Filter): time.sleep(self.getSleepTime()) else: time.sleep(self.getSleepTime()) + # Cleanup Gamin + self.__cleanup() logSys.debug(self.jail.getName() + ": filter terminated") return True + + ## + # Desallocates the resources used by Gamin. + + def __cleanup(self): + for path in Filter.getLogPath(self): + self.monitor.stop_watch(path) + del self.monitor