From de5ac42fa9672d6bcf1b7e0c958c13adff2dafa8 Mon Sep 17 00:00:00 2001
From: Anthony Bretaudeau <anthony.bretaudeau@inria.fr>
Date: Tue, 10 Apr 2018 11:36:08 +0200
Subject: [PATCH] more tolerant sanitizing

---
 tools/stats/filtering.xml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/tools/stats/filtering.xml b/tools/stats/filtering.xml
index be86fc5603b..b762074d9fc 100644
--- a/tools/stats/filtering.xml
+++ b/tools/stats/filtering.xml
@@ -1,4 +1,4 @@
-<tool id="Filter1" name="Filter" version="1.1.0">
+<tool id="Filter1" name="Filter" version="1.2.0">
   <description>data on any column using simple expressions</description>
   <edam_operations>
     <edam_operation>operation_0335</edam_operation>
@@ -10,6 +10,14 @@
     <param format="tabular" name="input" type="data" label="Filter" help="Dataset missing? See TIP below."/>
     <param name="cond" size="40" type="text" value="c1=='chr22'" label="With following condition" help="Double equal signs, ==, must be used as shown above. To filter for an arbitrary string, use the Select tool.">
       <validator type="empty_field" message="Enter a valid filtering condition, see syntax and examples below."/>
+      <sanitizer>
+        <valid initial="string.printable">
+          <remove value="$"/>
+        </valid>
+        <mapping initial="none">
+          <add source="$" target="\$"/>
+        </mapping>
+      </sanitizer>
     </param>
     <param name="header_lines" type="integer" value="0" label="Number of header lines to skip"/>
   </inputs>