Justus Winter, on mer. 17 janv. 2018 11:36:00 +0100, wrote: > Samuel Thibault <samuel.thiba...@ens-lyon.org> writes: > > I don't know if the pager actually supports the operation that we want? > > (just crashing clients) > > Yes it does.
Well, apparently it didn't behave that way :) > I'm still convinced that shutting down the servers is the right thing to > do. The alternative is that the filesystem goes away with an unclean > disk image. It's not unclean since after inhibiting more RPCs we resync everything and wait for that to finish. But shutting down properly would be better, yes. Samuel
