diff --git a/gracedb/query.py b/gracedb/query.py index ce643779cddfbc115d218312d94f40924ecb8ad0..caceacda519df64ad13eabf3f87fadc3a6bffd57 100644 --- a/gracedb/query.py +++ b/gracedb/query.py @@ -55,7 +55,7 @@ hasfarQ = CaselessLiteral("hasfar") hasfarQ.setParseAction(lambda toks: ("hasfar", Q(far__isnull=False))) # GPS Times -gpstime = Word(nums).setName("GPS time") +gpstime = Word(nums+'.').setName("GPS time") gpstimeRange = (gpstime + Suppress("..") + gpstime).setName("GPS time range") gpsQ = Optional(Suppress(Keyword("gpstime:"))) + (gpstime^gpstimeRange)