diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 1999-06-25 02:07:29 +0000 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 1999-06-25 02:07:29 +0000 |
| commit | 7f1d21d66fcbb59699bdb92c3b355ec5d467e768 (patch) | |
| tree | 530f4a226a9bf8e761724d43149febc76438b41d /Tools | |
| parent | f07de8de4fa58818a76ccf8a60e7b086a738b4a1 (diff) | |
| download | ports-7f1d21d66fcbb59699bdb92c3b355ec5d467e768.tar.gz ports-7f1d21d66fcbb59699bdb92c3b355ec5d467e768.zip | |
Notes
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/ptimeout | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/ptimeout b/Tools/portbuild/scripts/ptimeout index 53e28b77c3ae..62cb404ad001 100755 --- a/Tools/portbuild/scripts/ptimeout +++ b/Tools/portbuild/scripts/ptimeout @@ -1,6 +1,9 @@ #!/usr/bin/perl -w # ptimeout: executes command but kills it after a specified timeout # usage: ptimeout timeout command args ... + +require "ctime.pl"; + $timeout=$ARGV[0]; splice(@ARGV, 0, 1); #print "timeout is ", $timeout, "\n"; @@ -26,7 +29,7 @@ if ($pid1 = fork) { else { # second child sleep $timeout; - print "ptimeout: killing @ARGV (pid $pid1) since timeout of $timeout expired\n"; + print "ptimeout: killing @ARGV (pid $pid1) since timeout of $timeout expired at ", &ctime(time); kill 'TERM', $pid1; exit 1; } |