diff options
| author | Georg Brandl <georg@python.org> | 2020-08-24 18:23:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-24 18:23:14 +0200 |
| commit | bc67241664df4082af20fc30f08af8d3b5158fc8 (patch) | |
| tree | 6276d7f03ffcb98358c87bc5f637f15655248a22 | |
| parent | 9ef94104d928bb0c26da26fb711b0490ec401123 (diff) | |
| parent | af6d37f7d799acff11f4d781848f21cdccfd507f (diff) | |
| download | pygments-git-bc67241664df4082af20fc30f08af8d3b5158fc8.tar.gz | |
Merge pull request #1521 from rugk/patch-1
| -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 abfb39d7..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|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|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'), |