On Sat, 22 May 2004, John Mistler wrote:

> do shell script "kill cat /usr/local/mysql/bin/mysql/data/localhost.pid"

The kill command takes a numeric PID as its argument.  You need to get
the pid out of the pidfile.  So to get the above to work you have to
enclose cat and the filename in backticks:

  kill `cat /usr/local/mysql/bin/mysql/data/localhost.pid`

This will run "cat /usr/local/mysql/bin/mysql/data/localhost.pid",
getting the numeric pid from the file, then pass the pid to kill.

paul

-- 
MySQL General Mailing List
For list archives: http://lists.mysql.com/mysql
To unsubscribe:    http://lists.mysql.com/[EMAIL PROTECTED]

Reply via email to