urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-03 10:02:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

free hard-restart timer more safely

Browse Source
This commit is contained in:
Joe Bryan 2018-06-13 01:53:14 -04:00
parent 28d9c769cd
commit 5134d2b198
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
vere/http.c
View File

@ -1105,7 +1105,10 @@ _http_serv_restart_cb(uv_timer_t* tim_u)
_http_serv_start_all();
free(tim_u);
if ( 0 != u3_Host.fig_u.tim_u) {
free(u3_Host.fig_u.tim_u);
u3_Host.fig_u.tim_u = 0;
}
}
static void