Skip to content

Commit

Permalink
Auto Merge 2023-10-14 16:16:46
Browse files Browse the repository at this point in the history
  • Loading branch information
AutoPull committed Oct 14, 2023
2 parents d4178e3 + 5814ceb commit 558b93b
Showing 1 changed file with 6 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -272,7 +272,12 @@ private boolean isDeveloper() {
Os.kill(pid, 0);
developer.set(true);
} catch (ErrnoException e) {
if (e.errno != OsConstants.ESRCH) {
if (e.errno == OsConstants.ESRCH) {
try {
Files.delete(name);
} catch (IOException ignored) {
}
} else {
developer.set(true);
}
}
Expand Down

0 comments on commit 558b93b

Please sign in to comment.