"Alfred M. Szmidt" <[EMAIL PROTECTED]> writes: > What was the reason for disabling EXECSERVERS in exec? I think that > it is quite an useful feature when debugging exec, or playing around > with new features for it.
I think there were just bugs and rather than figure them out, we commented it out. I think it would certainly be useful to turn it on and make it work. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
