Re: [9fans] devproc noteid changing for none

[erik quanstrom]

> ; cd /proc/$pid; pwd
> /proc/75189
> ; cat noteid
>       76810 ; 
> ; auth/none
> ; cd /proc/$pid; pwd
> /proc/75192
> ; cat noteid
> cat: can't open noteid: 'noteid' permission denied

never mind.  different process.  how did you find this, anyway?

- erik