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

mars: cleanup event log on exit

Browse Source
This commit is contained in:
Joe Bryan 2022-12-15 21:22:54 -05:00
parent f4235ebc91
commit f7fd944e02
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/urbit/worker/mars.c
View File

@ -174,7 +174,7 @@ u3_mars_play(u3_mars* mar_u, c3_d eve_d)
fprintf(stderr, "mars: boot fail\r\n"); fprintf(stderr, "mars: boot fail\r\n");
// XX exit code, cb // XX exit code, cb
// //
exit(1);; exit(1);
} }
mar_u->sen_d = mar_u->dun_d = lif_w; mar_u->sen_d = mar_u->dun_d = lif_w;
@ -231,6 +231,7 @@ u3_mars_play(u3_mars* mar_u, c3_d eve_d)
// XX check loom size, suggest --loom X // XX check loom size, suggest --loom X
// XX exit code, cb // XX exit code, cb
// //
u3_disk_exit(log_u);
exit(1); exit(1);
} }
@ -254,6 +255,7 @@ u3_mars_play(u3_mars* mar_u, c3_d eve_d)
u3m_save(); u3m_save();
// XX exit code, cb // XX exit code, cb
// //
u3_disk_exit(log_u);
exit(1); exit(1);
} }
} }