Re: pgm de recherche de processus cachés

[georges mariano <georges.mariano@inrets.fr>]

On Mon, 29 Dec 2003 22:24:44 +0100
Fra

> Bon, j'ai fait une version binaire beaucoup plus rapide du script, en
> caml(si!). Source en http://boisson.homeip.net/chercheprocess.ml et

Ahhh, ça devient intéressant ... :-)

petit détail esthétique infime : tu devrais pouvoir factoriser le
string_of_int i

du genre  let  i_dir = string_of_int i in ... la suite ...

PS : fait des relevés de perfs, m'étonnerais pas que certains s'amusent
à optimiser ce code, juste pour voir ... ;-)

(si tu peux mettre ça dans un cvs, ça peut même devenir instructif ... )

A+
 

-- 
		mailto:mariano.georges@free.fr
debfr-faq : http://savannah.nongnu.org/download/debfr-faq/html/