Delete old pid file (#2816)
This commit is contained in:
parent
50004a55cb
commit
5814ceb24b
|
|
@ -272,7 +272,12 @@ public class HomeFragment extends BaseFragment implements MenuProvider {
|
||||||
Os.kill(pid, 0);
|
Os.kill(pid, 0);
|
||||||
developer.set(true);
|
developer.set(true);
|
||||||
} catch (ErrnoException e) {
|
} catch (ErrnoException e) {
|
||||||
if (e.errno != OsConstants.ESRCH) {
|
if (e.errno == OsConstants.ESRCH) {
|
||||||
|
try {
|
||||||
|
Files.delete(name);
|
||||||
|
} catch (IOException ignored) {
|
||||||
|
}
|
||||||
|
} else {
|
||||||
developer.set(true);
|
developer.set(true);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue