[cobalt-users] How to stop Real server :(

["Jean-Christophe SPENLE" <cobalt@xxxxxxxxxx>]

Hi !

Everything in the subject, sound stupid, but
kill cat 12031

doesn't work...
Here is what I get from Real doc :

Stopping RealServer on UNIX
To stop RealServer under UNIX, obtain the parent process identification
number, and then issue the kill command with that process number. The
process ID is stored in the rmserver.pid file, which is usually kept in the
Logs directory. The PIDPath variable specifies this location.

You can perform both actions with one command. Move to the directory that
contains the RealServer PID file, and type the following:


kill `cat pidfile`

where pidfile is the name of the RealServer PID file, as shown in the
PIDPath variable

I tried kill 'cat rmserver.pid' and it doesn't work too.

I get this message

[root Logs]# kill cat 12031
kill: No such pid cat
kill: (12031) - No such pid
[root Logs]# kill cat rmserver.pid
kill: No such pid cat
kill: No such pid rmserver.pid
[root Logs]# kill 'cat rmserver.pid'
kill: No such pid cat rmserver.pid
[root Logs]# kill rmserver.pid
kill: No such pid rmserver.pid

Who can help me ?

Amicalement
Jean-Christophe