bin/get_xml_encoding.py

   1 #! /usr/bin/env python
   2
   3 charset = None
   4 def xml_decl_handler(version, encoding, standalone):
   5    global charset
   6    charset = encoding
   7    raise StopIteration
   8
   9 if __name__ == '__main__':
  10    try:
  11       import sys
  12       import xml.parsers.expat
  13       parser = xml.parsers.expat.ParserCreate()
  14       parser.XmlDeclHandler = xml_decl_handler
  15       parser.ParseFile(open(sys.argv[1], 'r'))
  16    except:
  17       pass
  18    if charset: print(charset)