]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa13d1d) | patch
Use Java 11 ProcessHandle to get pid of the current process 63/200063/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 22 Feb 2023 00:06:06 +0000 (01:06 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 22 Feb 2023 00:06:06 +0000 (01:06 +0100)
commit2a2a208fa1651e0558755c4804a2a9db1433a345
tree13cd33102bb1a8785d1a0110df5219ab2c48f425tree | snapshot
parentaa13d1daf581b296ed02fabecafb7539d85438ebcommit | diff
Use Java 11 ProcessHandle to get pid of the current process

Change-Id: I790f218601c1d5e1b39c4101e3b2708e76b9d782
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit