3,104
edits
Line 140: | Line 140: | ||
if tag == '\x17\x00': | if tag == '\x17\x00': | ||
name_len = int.from_bytes(text[i:i+2], byte_order) | filename_len = int.from_bytes(text[i:i+2], byte_order) | ||
name = text[i+2 : i+2 + name_len] | filename = text[i+2 : i+2 + filename_len] | ||
out += f"[ | name_len = int.from_bytes(text[i+2 + filename_len : i+2 + filename_len + 2], byte_order) | ||
name = text[i+2 + filename_len+2 : i+2 + filename_len+2 + name_len] | |||
out += f"[use text: \"{decode(name, byte_order)}\" from \"{decode(filename, byte_order)}\"]" | |||
i += extra_size | i += extra_size | ||
continue | continue |