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

vere: free pier on graceful shutdown

Browse Source
This commit is contained in:
Joe Bryan 2020-06-23 16:55:38 -07:00
parent a3ae21ea5b
commit 46f3a17658
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkg/urbit/vere/pier.c
View File

@ -1395,12 +1395,29 @@ _pier_work_close(u3_work* wok_u)
wok_u->pep_u.data = wok_u;
}
/* _pier_done(): dispose pier.
*/
static void
_pier_free(u3_pier* pir_u)
{
c3_free(pir_u->pax_c);
// XX remove
//
c3_free(pir_u->sav_u);
c3_free(pir_u);
}
/* _pier_done(): graceful shutdown complete, notify king.
*/
static void
_pier_done(u3_pier* pir_u)
{
// XX unlink properly
//
u3K.pir_u = 0;
_pier_free(pir_u);
u3_king_done();
}