1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
From: Antonio Terceiro <asa@terceiro.xyz>
Date: Thu, 13 Feb 2020 08:18:03 -0300
Subject: mentos.py: decode header when getting its length
---
lib/pygments/mentos.py | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/lib/pygments/mentos.py b/lib/pygments/mentos.py
index 7f4e475..f2557f1 100755
--- a/lib/pygments/mentos.py
+++ b/lib/pygments/mentos.py
@@ -32,7 +32,7 @@ def _convert_keys(dictionary):
def _write_error(error):
res = {"error": error}
- out_header = json.dumps(res).encode('utf-8')
+ out_header = json.dumps(res)
bits = _get_fixed_bits_from_header(out_header)
sys.stdout.write(bits + "\n")
sys.stdout.flush()
@@ -41,7 +41,7 @@ def _write_error(error):
return
def _get_fixed_bits_from_header(out_header):
- size = len(out_header)
+ size = len(out_header.encode('utf-8'))
return "".join([str((size>>y)&1) for y in range(32-1, -1, -1)])
def _signal_handler(signal, frame):
@@ -201,7 +201,7 @@ class Mentos(object):
res_bytes = len(res) + 1
base_header["bytes"] = res_bytes
- out_header = json.dumps(base_header).encode('utf-8')
+ out_header = json.dumps(base_header)
# Following the protocol, send over a fixed size represenation of the
# size of the JSON header
|
