Re: Timeout

Top Page

Reply to this message
Author: Edgar Bonet
Date:  
To: Liste Guilde
Subject: Re: Timeout
Le lundi 25 septembre, Tian a écrit :
> > $COMMAND &
> > sleep $TIMEOUT
> > kill -9 $! >/dev/null 2>&1
>
> [...] cet exemple ne marche pas


Chez moi ça marche.

> car $! doit contenir le PID du dernier processus lance je suppose


Du dernier processus lancé en arrière-plan. C.f. man bash, section
« Special Parameters ».

Edgar.