Function unescape_nulls

tools/link.py:2602–2627

(filename)

  # HTML minifier will turn all null bytes into an escaped two-byte sequence "\0". Turn those back to single byte sequences.
  def unescape_nulls(filename):
    data = read_file(filename)
    out = []
    in_escape = False
    i = 0
    while i < len(data):
      ch = data[i]
      i += 1
      if ch == '\\':
        if in_escape:
          out.append('\\\\')
        in_escape = not in_escape
      elif in_escape:
        in_escape = False
        if ch == '0':
          out.append('\x00') # Convert '\\0' (5Ch 00h) into '\0' (00h)
        elif ch == 'x' and data[i] == '0' and data[i + 1] == '0':
          out.append('\x00') # Oddly html-minifier generates both "\\0" and "\\x00", so handle that too.
          i += 2
        else:
          out.append('\\')
          out.append(ch)
      else:
        out.append(ch)

    write_file(filename, ''.join(out))

  unescape_nulls(filename)