< witty crayon 22786> <https github com pantsbuild pants blo pantsbuild #development

Channels

github-notifications

Title

r

rough-minister-58256

11/05/2017, 4:09 AM

@witty-crayon-22786 https://github.com/pantsbuild/pants/blob/master/src/python/pants/core_tasks/pantsd_kill.py#L19 + https://github.com/pantsbuild/pants/blob/master/src/python/pants/bin/goal_runner.py#L291