/* NOTE: there isn't anything else for the server to do at this point * except wait for itself to be shut down. The * margo_wait_for_finalize() call here yields to let Margo drive * progress until that happens. */margo_wait_for_finalize(mid);return(0);}