Я хочу назначить пользовательское имя / идентификатор для gevent greenlet. Gevent уже присваивает уникальное имя:
def name(self):
"""
The greenlet name. By default, a unique name is constructed using
the :attr:`minimal_ident`. You can assign a string to this
value to change it. It is shown in the `repr` of this object.
.. versionadded:: 1.3a2
"""
Однако я не уверен, как изменить это значение на введенное пользователем имя. Возможно ли это сделать?
Я попытался сделать что-то подобное и закончился ошибкой атрибута:
def begin(self):
self.thread = gevent.spawn(self.print_message)
self.thread.minimal_ident = "t1"
print(self.thread.name)
AttributeError: attribute 'minimal_ident' of
'gevent._greenlet.Greenlet' objects is not writable