data: ID args are not part of a filter

This commit is contained in:
Paul Beckingham 2016-06-04 12:09:20 -04:00
parent ebf0a8c270
commit 53891a4459

View file

@ -98,6 +98,10 @@ Interval getFilter (const CLI& cli)
// function. // function.
args.push_back (raw); args.push_back (raw);
} }
else if (arg.hasTag ("ID"))
{
// Not part of a filter.
}
else else
{ {
filter.tag (raw); filter.tag (raw);