tackle json file with bom - Serbipunk/notes GitHub Wiki

    out = io.open(semantic_fname,'w',encoding='utf-8')
    out.write(dumps)
    out.flush()
    out.close()