Closed JKRhb closed 2 years ago
The Agent class currently has no proper API for closing it externally. Adding a close() method might be good addition to be able to do so.
Agent
close()
The
Agent
class currently has no proper API for closing it externally. Adding aclose()
method might be good addition to be able to do so.