df triggering deallocation of an invalid port?

[Thomas Schwinge]

Hi!

The root filesystem and the one backing ~/ are two separate instances of
ext2fs.  I just ran »dh -h ~/« , and noticed on the GNU Mach console:
»task e19b6e10 deallocating an invalid port 1047, most probably a bug.«
As it is one of the few Mach tasks that don't get a proper name set (as
far as I know), I suspect it is the root filesystem that has been
printing this.  Running df again, it does not reproduce.  (But I've seen
this before, so probably "once per system boot".)  Per rpctrace, df is
doing all kinds of RPCs.  Issue to be confirmed, and to be analyzed.


Grüße,
 Thomas

pgp9uBRMEIYT9.pgp
Description: PGP signature