udm_free_agent

(PHP 4 >= 4.0.5, PHP 5)

udm_free_agent -- Détruit une session mnoGoSearch

Description

int udm_free_agent ( resource agent )

Cette fonction retourne TRUE en cas de succès, FALSE en cas d'échec.

Le paramètre agent est l'identifiant agent, obtenu après un appel à udm_alloc_agent().

udm_free_agent() détruit l'agent de recherche créé par udm_alloc_agent().