sup: harden supervisor termination agains concurrent terminate calls
sup: harden supervisor termination agains concurrent terminate calls
scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,jvf/scalaris,scalaris-team/scalaris,jvf/scalaris,caijieming-baidu/scalaris,jvf/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,caijieming-baidu/scalaris,jvf/scalaris