If you use num-servers larger than 1, then the loop involved is not that much larger than a signal handler would be, so adding that would be a considerable increase in complexity.

Arnt

Reply via email to