Subject: Re: pkill(1) a pid after timeout
To: None <>
From: der Mouse <mouse@Rodents.Montreal.QC.CA>
List: tech-userlevel
Date: 07/25/2007 14:47:02
> We might consider using the term 'runtime' rather than 'timeout',

"runtime" to me tends to refer to CPU time rather than wall-clock time.
"timelimit" maybe?

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B