diff options
| author | laixintao <laixintaoo@gmail.com> | 2022-06-26 00:47:18 +0800 |
|---|---|---|
| committer | laixintao <laixintaoo@gmail.com> | 2022-06-26 00:47:18 +0800 |
| commit | c4931b972aec2b3c6d575bcb4197e4f18028cf7b (patch) | |
| tree | 7656d9bab1d1392e8f3095c027ac7275b4fc176b | |
| parent | 00b9df513148116c72f4f39ad20ce4840daaabd3 (diff) | |
allow timestamp for more inputs.
| -rw-r--r-- | iredis/redis_grammar.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/iredis/redis_grammar.py b/iredis/redis_grammar.py index 9e6bc42..4e38540 100644 --- a/iredis/redis_grammar.py +++ b/iredis/redis_grammar.py @@ -220,12 +220,12 @@ CLIENTID = rf"(?P<clientid>{NUM})" CLIENTIDS = rf"(?P<clientids>{NUM}(\s+{NUM})*)" SECOND = rf"(?P<second>{NUM})" -TIMESTAMP = rf"(?P<timestamp>{NUM})" +TIMESTAMP = r"(?P<timestamp>[T\d:>+*\-\$]+)" # TODO test lexer & completer for multi spaces in command # For now, redis command can have one space at most COMMAND = r"(\s* (?P<command>[\w -]+))" MILLISECOND = rf"(?P<millisecond>{NUM})" -TIMESTAMPMS = rf"(?P<timestampms>{NUM})" +TIMESTAMPMS = r"(?P<timestampms>[T\d:>+*\-\$]+)" ANY = r"(?P<any>.*)" # TODO deleted START = rf"(?P<start>{NNUM})" END = rf"(?P<end>{NNUM})" |