[gull] Script pour restarter mysql

[Daniel Cordey]

On Tuesday 10 October 2006 12:02, Lol Zimmerli wrote:

> if [ ! -s /tmp/mysql ]
> then
> ...

Normalement, mysql ecrit son PID dans :

	/var/run/mysqld/mysqld.pid

A parrir de la, il suffit de relire ce PID et d'effectuer un kill 0.

kill -s 0 $(< /var/run/mysqld/mysqld.pid) 2>/dev/null && /etc/init.d/mysql start

dc