From 7f1d21d66fcbb59699bdb92c3b355ec5d467e768 Mon Sep 17 00:00:00 2001
From: Satoshi Asami <asami@FreeBSD.org>
Date: Fri, 25 Jun 1999 02:07:29 +0000
Subject: Print out date and time the port is killed due to timeout.

---
 Tools/portbuild/scripts/ptimeout | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Tools')

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;
   }
-- 
cgit v1.2.3