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
_______________________________________________
gull mailing list
[email protected]
http://lists.alphanet.ch/mailman/listinfo/gull
