Skip to content

Fix pitchfork pid provider#81

Merged
errm merged 2 commits intomasterfrom
errm/fix-pitchfork-ids
Feb 26, 2026
Merged

Fix pitchfork pid provider#81
errm merged 2 commits intomasterfrom
errm/fix-pitchfork-ids

Conversation

@errm
Copy link
Copy Markdown
Owner

@errm errm commented Feb 26, 2026

Pitchfork sets the process title via Process.setproctitle this means that $0 isn't updated with the worker number.

The ObjectSpace method seems to work fine, so we will use that.

@codecov
Copy link
Copy Markdown

codecov Bot commented Feb 26, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (6fd55dc) to head (7417db5).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff            @@
##            master       #81   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           38        38           
  Lines          856       849    -7     
=========================================
- Hits           856       849    -7     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@errm errm merged commit 5e106c0 into master Feb 26, 2026
14 checks passed
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.

1 participant