urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-22 18:31:44 +03:00
Code Issues Packages Projects Releases Wiki Activity

Clean up command socket on exit

Browse Source
This commit is contained in:
Raymond Pasco 2017-02-25 09:34:17 -05:00
parent 33da239bcc
commit 8a250853a2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
vere/king.c
View File

@ -197,6 +197,8 @@ void _king_loop_exit()
cod_l = u3a_lush(c3__behn);
u3_behn_io_exit();
u3a_lop(cod_l);
unlink("/tmp/urbit.sock");
}
void u3_king_commence()