bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Is deallocating MACH_PORT_NULL an error ?


From: Richard Braun
Subject: Re: Is deallocating MACH_PORT_NULL an error ?
Date: Thu, 22 Jan 2015 23:57:43 +0100
User-agent: Mutt/1.5.21 (2010-09-15)

On Thu, Jan 22, 2015 at 10:22:04PM +0100, Justus Winter wrote:
> So do we consider {deallocating,destroying,mod_refing} MACH_PORT_NULL
> or MACH_PORT_DEAD an error, or an expensive nop ?

Personally, I'd consider this a nop, like free(NULL) is.

-- 
Richard Braun



reply via email to

[Prev in Thread] Current Thread [Next in Thread]