Fix for external log segfault after SIGINT#844

Merged

ivanpauno merged 1 commit intoros2:masterfrom iuhilnehc-ynos:topic-fix-external-log-segfault

Oct 30, 2020

+6

Commits on Oct 28, 2020

Fix for external log segfault after SIGINT

Chen Lihui
authored and
Chen Lihui
committed