At 11:03 AM 7/25/2002, Sonny Franslay wrote:
>Hi Josef,
>
>We are running 5.0R5.1
Sonny,
You may have not killed the correct pid. If you do
it in the shell you need to kill the mgd daemon related
to this user. So we have a master mgd and slaves for
each user and each mgd is communicating to the cli daemon
which is basically the user-interface/shell. mgd is the
process which touches the configuration database.
In general you should use the following command from the
CLI.
josefb@test> request system logout ?
Possible completions:
<[Enter]> Execute this command
pid Management (MGD) process id for user
terminal Terminal user is on
user User to logout
| Pipe through a command
thanks
Josef
This archive was generated by hypermail 2b29 : Mon Aug 05 2002 - 10:42:36 EDT