From 53891a44591b374df58d4cb008b0ed6f1a0062e4 Mon Sep 17 00:00:00 2001 From: Paul Beckingham Date: Sat, 4 Jun 2016 12:09:20 -0400 Subject: [PATCH] data: ID args are not part of a filter --- src/data.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/data.cpp b/src/data.cpp index 931e8f3e..5be053a1 100644 --- a/src/data.cpp +++ b/src/data.cpp @@ -98,6 +98,10 @@ Interval getFilter (const CLI& cli) // function. args.push_back (raw); } + else if (arg.hasTag ("ID")) + { + // Not part of a filter. + } else { filter.tag (raw);