fix for manage_serverxml