new close_to_time_limit() method to find out if a submission is about to run out of time
new close_to_time_limit() method to find out if a submission is about to run out of time

wtsi-hgi/vr-pipe,wtsi-hgi/vr-pipe