aboutsummaryrefslogtreecommitdiff
path: root/Tools
diff options
context:
space:
mode:
authorSatoshi Asami <asami@FreeBSD.org>1999-06-25 02:07:29 +0000
committerSatoshi Asami <asami@FreeBSD.org>1999-06-25 02:07:29 +0000
commit7f1d21d66fcbb59699bdb92c3b355ec5d467e768 (patch)
tree530f4a226a9bf8e761724d43149febc76438b41d /Tools
parentf07de8de4fa58818a76ccf8a60e7b086a738b4a1 (diff)
downloadports-7f1d21d66fcbb59699bdb92c3b355ec5d467e768.tar.gz
ports-7f1d21d66fcbb59699bdb92c3b355ec5d467e768.zip
Notes
Diffstat (limited to 'Tools')
-rwxr-xr-xTools/portbuild/scripts/ptimeout5
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;
}