=> peut-être juste un ping de quelques secondes suffirait ? ( en utilisant shell()) et un appel non-bloquant pour pouvoir reprendre la main. ( ping existe sous linux, win et mac os)
Il est toujours difficile de faire la différence entre une station déconnectée, un dns un peu lent, et un serveur mort. Il n'y a d'ailleur pas de différence en théorie : une machine déconnectée a juste un timeout infini. Et mesurer l'infini.... Il faut choisir un délai à partir duquel on considère qu'il n'y a pas de connection, lancer l'appel de la requête, déclencher un timer, et tuer la requete une fois le délai "raisonnable" écoulé. Cela dit, comme le dit L Godard, il y a peut-être quelque chose d'utile dans les urb. -- D. Coulette <[EMAIL PROTECTED]> --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
