CORE: fixed a pair of multi-server crashes