From 587ed3edd7c6285e6f07e65c228803f70d22b6d4 Mon Sep 17 00:00:00 2001 From: Branson Stephens <branson.stephens@ligo.org> Date: Wed, 29 Jul 2015 17:09:59 -0500 Subject: [PATCH] Allow gpstime range queries on fractional gpstime. --- gracedb/query.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gracedb/query.py b/gracedb/query.py index ce643779c..caceacda5 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) -- GitLab