alarm 10
while ( ! $done ) {
    $done = is_it_done_yet();
    sleep 1;
}