Le mercredi 26 f�vrier 2003, patrice a �crit...
bonjour,
> il n'y a pas de gradio on ou gradio off, dois je ajouter une ligne avec la > commande kill -9 "gradio", et comment ? quelqu'un aurait une autre id�e bien > meilleure � (me) proposer... Faire un script qui teste la pr�sence du pid (ou du gradio.pid si il existe). Si oui faire un kill, mais -15 c'est moins sauvage, � moins qu'il n'existe une commande style gradio --quit ? -- jean-michel
