diff options
| author | asami <asami@FreeBSD.org> | 1999-06-25 10:07:29 +0800 |
|---|---|---|
| committer | asami <asami@FreeBSD.org> | 1999-06-25 10:07:29 +0800 |
| commit | 60bc0f545baf5b0091b3de19d43f740c621d98fa (patch) | |
| tree | a92ba9c69bc3e9ef97003d7bb32532579fe4b73f /Tools/portbuild | |
| parent | 120da06c574b7dd51cb14e7a5eedcca3cc88e54c (diff) | |
| download | freebsd-ports-gnome-60bc0f545baf5b0091b3de19d43f740c621d98fa.tar.gz freebsd-ports-gnome-60bc0f545baf5b0091b3de19d43f740c621d98fa.tar.zst freebsd-ports-gnome-60bc0f545baf5b0091b3de19d43f740c621d98fa.zip | |
Print out date and time the port is killed due to timeout.
Diffstat (limited to 'Tools/portbuild')
| -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; } |