1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-01 22:05:08 +00:00
Commit Graph

2 Commits

Author SHA1 Message Date
Satoshi Asami
7f1d21d66f Print out date and time the port is killed due to timeout. 1999-06-25 02:07:29 +00:00
Satoshi Asami
3dc9d1aad2 A perl script to run a command with a timeout. The command is killed if it
doesn't complete within the specified timeout period.

I tried to do this from within the pdispatch script, but I couldn't
get all the auxiliary processes to be killed correctly so implemented
this as a separate script in perl.
1999-06-22 06:47:21 +00:00