diff options
| author | rugk <rugk+git@posteo.de> | 2020-08-23 21:22:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-23 21:22:19 +0200 |
| commit | af6d37f7d799acff11f4d781848f21cdccfd507f (patch) | |
| tree | 0b4dd7af2b24a6b0bca30e2774e920e5afbb8172 /pygments | |
| parent | 92e9bddfa5b992d5df7690428f7e119393e88e09 (diff) | |
| download | pygments-git-af6d37f7d799acff11f4d781848f21cdccfd507f.tar.gz | |
Make group optional
Diffstat (limited to 'pygments')
| -rw-r--r-- | pygments/lexers/textfmts.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/textfmts.py b/pygments/lexers/textfmts.py index 1a7c1623..586b77b4 100644 --- a/pygments/lexers/textfmts.py +++ b/pygments/lexers/textfmts.py @@ -175,11 +175,11 @@ class HttpLexer(RegexLexer): tokens = { 'root': [ (r'(GET|POST|PUT|DELETE|HEAD|OPTIONS|TRACE|PATCH)( +)([^ ]+)( +)' - r'(HTTP)(/)(1\.[01]|2(?:\.0)|3)(\r?\n|\Z)', + r'(HTTP)(/)(1\.[01]|2(?:\.0)?|3)(\r?\n|\Z)', bygroups(Name.Function, Text, Name.Namespace, Text, Keyword.Reserved, Operator, Number, Text), 'headers'), - (r'(HTTP)(/)(1\.[01]|2(?:\.0)|3)( +)(\d{3})(?:( +)([^\r\n]*))?(\r?\n|\Z)', + (r'(HTTP)(/)(1\.[01]|2(?:\.0)?|3)( +)(\d{3})(?:( +)([^\r\n]*))?(\r?\n|\Z)', bygroups(Keyword.Reserved, Operator, Number, Text, Number, Text, Name.Exception, Text), 'headers'), |