[j-nsp] wierd user PID

[Iwan Thomas]

Hi,

Anyone seen this before? Entering config mode shows another user editing:

advanced at xxx> configure 
Entering configuration mode
Users currently editing the configuration:
  iwan terminal d0 (pid 31543) on since 2003-01-08 11:13:13 GMT, idle 5w6d
23:00
      [edit]

[edit]

However this user is not there according to 'show system users', and no PID
exists when doing a ps -ax! How can I kill this non-existent user, other
than a reboot?

Cheers,

Iwan