Write the `server_fini` function