The reason I think the server core dumps is that one would expect to see "mirserver: Stopping" one second after "Signal 15 received. Good night".
The reason I think the server core dumps is that one would expect to see "mirserver: Stopping" one second after "Signal 15 received. Good night".