more tolerant sanitizing

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>