Arrêt propre d'un provider PASSIVE
: maintenant que l'on fait du PUSH/COMMIT, l'appellant doit pouvoir
faire un exit propre, en attendant que tous les threads du provider aient fini
leur boulot. Dans le cas du tsp_res_reader (mono-fichier, mono-client), par
exemple, à la fin du fichier, on genère un GLU_GET_EOF qui a pour effet de
flusher les clients. Une fois que tout est finit, côté provider, on doit
pouvoir quitter le process provider, la paix dans l'âme, en invoquant avant
exit un TSP_provider_close() qui attend le flush global et ferme les threads
proprement.