in lib/pygments/mentos.py [0:0]
def _write_error(error):
res = {"error": error}
out_header = json.dumps(res).encode('utf-8')
bits = _get_fixed_bits_from_header(out_header)
sys.stdout.write(bits + "\n")
sys.stdout.flush()
sys.stdout.write(out_header + "\n")
sys.stdout.flush()
return