int xmlrpc_server_destroy ( resource $server )
Warning: This function is currently not documented; only its argument list is available.