Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add pantsd client profiling #5434

Merged

Conversation

stuhood
Copy link
Sponsor Member

@stuhood stuhood commented Feb 4, 2018

Problem

As discovered in #5433, our current profiling does not cover an important case: the client in a pantsd session.

Solution

Add another profiling entrypoint to cover an entire client session with pantsd enabled, and document the options.

Copy link
Member

@kwlzn kwlzn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@stuhood
Copy link
Sponsor Member Author

stuhood commented Feb 5, 2018

Unrelated contrib failure. Merging.

@stuhood stuhood merged commit bd01191 into pantsbuild:master Feb 5, 2018
@stuhood stuhood deleted the stuhood/add-pants-client-profiling branch February 5, 2018 18:13
Copy link
Sponsor Contributor

@benjyw benjyw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the great documentation.

stuhood pushed a commit that referenced this pull request Feb 5, 2018
### Problem

As discovered in #5433, our current profiling does not cover an important case: the client in a `pantsd` session.

### Solution

Add another profiling entrypoint to cover an entire client session with `pantsd` enabled, and document the options.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants