Totally confused--as far as I can see, this is called `server_restart`, not `server_restart_utils`.  I guess this function isn't being used... ?  Either that, or I'm totally confused.