Hi,
Indeed. It isn't a pidfile, it is a shared memory segment where spice
stores statistics. spice registers a cleanup handler via atexit()
which removes this
fork() with an inherited pipe and then waiting for EOF on the pipe() is
a bit more robust of a mechanism to handle this.
Feels a bit like overkill in that case though. The extra process
doesn't come for free. We are talking about a shared memory segment
with a single page only. It is leaked only on crashes. It can
trivially be cleaned up manually if needed, just rm the file.
cheers,
Gerd
