On 6/30/06, George Boudreau <[EMAIL PROTECTED]> wrote:
My kernel work is a bit rusty but I believe PID's are sequentially
allocated. To reuse a pid you have to cycle through 2^15 numbers (minus
the ones already in use.) I will concede the point about the PID reuse,
but it is as unlikely to occur as it is to come across an honest
politician. I have a way to handle to former but won't hold my breath
waiting for the latter.
[[ ! $(cat /proc/$makePID/cmdline 2>/dev/null) = "make" ]] &&
echo -n "progress bar dies:${CURSOR_ON}" && exit
IF the process reusing the PID is also 'make' I will eat my monitor.(
with a salsa)
Interesting, I actually had no idea how PIDs were allocated. You don't
need to check it in. I was already arguing a complete corner case.
But I would like to see you eat that monitor if the offer's still on
the table...
--
Dan
--
http://linuxfromscratch.org/mailman/listinfo/alfs-discuss
FAQ: http://www.linuxfromscratch.org/faq/
Unsubscribe: See the above information page
