my $timeleft = 10000;
while ($timeleft){
    $timeleft = (select(undef,undef,undef,$timeleft))[1];
}