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

fix(core): handle multiple installations of jemalloc #3562

Merged
merged 1 commit into from
Mar 2, 2020
Merged

fix(core): handle multiple installations of jemalloc #3562

merged 1 commit into from
Mar 2, 2020

Conversation

alessiodf
Copy link
Contributor

Summary

This handles an edge case if there are multiple installations of jemalloc (e.g. a system-wide installation via a package manager in /usr/lib and also another version built from source in /usr/local/lib).

Previously it would fail because the jemallocPath would contain a concatenation of both installation paths separated by a newline. Now we just take the first path that we find.

Checklist

  • Documentation (if necessary)
  • Tests (if necessary)
  • Ready to be merged

@ghost
Copy link

ghost commented Mar 2, 2020

Thanks for submitting this pull request! A maintainer will review this in the next few days and explicitly select labels so you know what's going on.

If no reviewer appears after a week, a reminder will be sent out.

@ghost ghost added Complexity: Low labels Mar 2, 2020
@ghost
Copy link

ghost commented Mar 2, 2020

A collaborator has approved this PR. A maintainer will merge this PR shortly. If it shouldn't be merged yet, please leave a comment saying so and we'll wait.

Thank you for your contribution!

@faustbrian faustbrian merged commit b7e6398 into ArkEcosystem:2.6 Mar 2, 2020
@ghost
Copy link

ghost commented Mar 2, 2020

Your pull request has been merged but was not assigned a bounty tier. A maintainer will assign a bounty tier to this pull request in the next few days.

@ghost
Copy link

ghost commented Mar 2, 2020

Your pull request has been merged. Thank you for your contribution to the ARK Ecosystem.

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.

2 participants