On Thu, Oct 27, 2005 at 07:13:45PM -0400, Jonathan S. Shapiro wrote: > > I am assuming that in some cases, some client state will be stored in server > > memory. Be it a pointer to the actual object, or a capability, whatever. > > When the client suddenly dies, this memory would stay in use, because the > > server doesn't know about this death. How is this cleaned up? > > I'm still not confident that I am getting at your question properly.
You are. This is exactly what I was trying to ask. Thanks, Bas -- I encourage people to send encrypted e-mail (see http://www.gnupg.org). If you have problems reading my e-mail, use a better reader. Please send the central message of e-mails as plain text in the message body, not as HTML and definitely not as MS Word. Please do not use the MS Word format for attachments either. For more information, see http://129.125.47.90/e-mail.html
signature.asc
Description: Digital signature
_______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
