Skip to content

better way to check pid and it's cross-platform#38

Open
majidaldo wants to merge 2 commits intoHIPS:masterfrom
majidaldo:master
Open

better way to check pid and it's cross-platform#38
majidaldo wants to merge 2 commits intoHIPS:masterfrom
majidaldo:master

Conversation

@majidaldo
Copy link

No description provided.

@JasperSnoek
Copy link
Contributor

@majidaldo Thanks for submitting this. What's the status of this? It looks like there is an outstanding TODO item still.

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.

3 participants