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

Clean up JNI initialization #25340

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

fmeum
Copy link
Collaborator

@fmeum fmeum commented Feb 20, 2025

Instead of relying on getpid to be implemented by a native method, explicitly invoke an empty native function to force linking at a time convenient for error reporting.

Also make sure that the extracted JNI library is cleaned up on Windows.

@fmeum fmeum changed the title Refactor JNI initialization Clean up JNI initialization Feb 20, 2025
@fmeum fmeum requested a review from tjgq February 20, 2025 11:37
@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Feb 20, 2025
Instead of relying on `getpid` to be implemented by a native method, explicitly invoke an empty native function to force linking at a time convenient for error reporting.

Also make sure that the extracted JNI library is cleaned up on Windows.
@fmeum fmeum force-pushed the clean-up-process-handle branch from c0d809f to 21a7836 Compare February 20, 2025 12:23
@fmeum fmeum force-pushed the clean-up-process-handle branch from 21a7836 to cc6a4ca Compare February 20, 2025 12:41
@iancha1992 iancha1992 added the team-Remote-Exec Issues and PRs for the Execution (Remote) team label Feb 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting-review PR is awaiting review from an assigned reviewer team-Remote-Exec Issues and PRs for the Execution (Remote) team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants