Преобразование символьных ссылок на числовые символы в строку Юникод

Есть ли стандартный, предпочтительно Pythonic, способ преобразования &#xxxx; обозначение для правильной строки юникода?

Например,

 מפגשי 

Должен быть преобразован в:

 מפגשי 

Это можно сделать – довольно легко – используя строковые манипуляции, но мне интересно, есть ли для этого стандартная библиотека.

Используйте HTMLParser.HTMLParser() :

 >>> from HTMLParser import HTMLParser >>> h = HTMLParser() >>> s = "מפגשי" >>> print h.unescape(s) מפגשי 

Это тоже часть стандартной библиотеки .


Однако, если вы используете Python 3, вам нужно импортировать из html.parser :

 >>> from html.parser import HTMLParser >>> h = HTMLParser() >>> s = 'מפגשי' >>> print(h.unescape(s)) מפגשי