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 :
> timeout()
> {
> sleep $TIMEOUT
> kill $PID >/dev/null 2>&1


kill n'enverra rien dans stdout, il suffit de rediriger stderr :

    kill $1 2> /dev/null


> }
>
> $COMMAND &
> PID=`ps --format="pid command" | grep $COMMAND | gawk '{print $1}'`


Plus simplement (et probablement plus robuste) :

PID=$!

> timeout PID &
> fg %1


Edgar.