=== modified file 'bin/aat.awk' --- bin/aat.awk 2013-10-09 15:08:56 +0000 +++ bin/aat.awk 2013-10-08 20:55:30 +0000 @@ -252,32 +252,6 @@ } } # TODO filters - while(str) { - if(!match(str, /^\|[a-zA-Z_][a-zA-Z0-9_.]*/)) { - print "ERROR: invalid filter: " str >"/dev/stderr" - exit 1 - } - filter_name = substr(str, 2, RLENGTH-1) - str = substr(str, RLENGTH+1) - if(str == "") { - args = "" - } else if(match(str, /^