User:2 B/Debatably useful stuff: Difference between revisions

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"[no text: \"{decode(name, byte_order)}\"]"
                 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