# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1409214033 -3600
# Node ID 8dee696c33cc5f7463c8b9e9fe806b9abd24c115
# Parent  75bd55e841125c0fcd46d2593991a60674ea4298
util.filters: Ignore filters being added twice (fixes issues on removal)

diff -r 75bd55e84112 -r 8dee696c33cc util/filters.lua
--- a/util/filters.lua	Thu Aug 28 09:17:07 2014 +0100
+++ b/util/filters.lua	Thu Aug 28 09:20:33 2014 +0100
@@ -45,6 +45,8 @@
 	if not filter_list then
 		filter_list = {};
 		session.filters[type] = filter_list;
+	elseif filter_list[callback] then
+		return; -- Filter already added
 	end
 	
 	priority = priority or 0;