urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-25 13:04:17 +03:00
Code Issues Packages Projects Releases Wiki Activity

Suicide prevention with corrupt Lockfile

Browse Source
This commit is contained in:
s-ol 2017-04-04 16:19:10 +02:00
parent b8d8b4810c
commit 531a4786f0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
vere/unix.c
View File

@ -1356,7 +1356,7 @@ u3_unix_acquire(c3_c* pax_c)
kill(getpid(), SIGTERM);
sleep(1); c3_assert(0);
}
else {
else if (pid_w != getpid()) {
c3_w i_w;
if ( -1 != kill(pid_w, SIGTERM) ) {