>>Well, at least disconnect all the users first (let them know you're going to re-start the server).
>
>I remember (I thought) from the distant past that you could recycle the server without having to disconnect everyone.
>
>Maybe I dreamt it :-)

I don't know of anything like that. Most likely it was a dream.