Skip to content

Remove unused method ManagerGroup.is_alive()#13777

Merged
jgraham merged 1 commit intomasterfrom
foolip/rm-ManagerGroup.is_alive
Oct 30, 2018
Merged

Remove unused method ManagerGroup.is_alive()#13777
jgraham merged 1 commit intomasterfrom
foolip/rm-ManagerGroup.is_alive

Conversation

@foolip
Copy link
Copy Markdown
Member

@foolip foolip commented Oct 30, 2018

It's not used internally, and the only ManagerGroup instance is
created at with ManagerGroup(...) as manager_group in wptrunner.py,
and the method is also not called there.

It's not used internally, and the only `ManagerGroup` instance is
created at `with ManagerGroup(...) as manager_group` in wptrunner.py,
and the method is also not called there.
@wpt-pr-bot wpt-pr-bot added infra wptrunner The automated test runner, commonly called through ./wpt run labels Oct 30, 2018
@jgraham jgraham merged commit 086f4ef into master Oct 30, 2018
@foolip foolip deleted the foolip/rm-ManagerGroup.is_alive branch October 30, 2018 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infra wptrunner The automated test runner, commonly called through ./wpt run

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants