def change_name(self, new_name):
"""Change the name of the shell, possibly updating the maximum name
length"""
if not new_name:
name = self.hostname
else:
name = new_name.decode()
self.display_name = display_names.change(self.display_name, name)
def close(self):
display_names.change(self.display_name, None)
super().close()
def change_name(self, name):
"""Change the name of the shell, possibly updating the maximum name
length"""
if not name:
name = self.hostname
self.display_name = display_names.change(self.display_name, name)
def close(self):
display_names.change(self.display_name, None)
buffered_dispatcher.close(self)
def close(self):
display_names.change(self.display_name, None)
buffered_dispatcher.close(self)
