diff options
Diffstat (limited to 'databases/mysql55-server/files/mysql-server.sh')
-rw-r--r-- | databases/mysql55-server/files/mysql-server.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/databases/mysql55-server/files/mysql-server.sh b/databases/mysql55-server/files/mysql-server.sh deleted file mode 100644 index 5180b9c0c1eb..000000000000 --- a/databases/mysql55-server/files/mysql-server.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh - -DB_DIR=%%DB_DIR%% -PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid - -case "$1" in - start) - if [ -x %%PREFIX%%/bin/mysqld_safe ]; then - /usr/bin/limits -U mysql \ - %%PREFIX%%/bin/mysqld_safe --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & - echo -n ' mysqld' - fi - ;; - stop) - if [ -f ${PIDFILE} ]; then - /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' - else - echo "mysql-server isn't running" - fi - ;; - *) - echo "" - echo "Usage: `basename $0` { start | stop }" - echo "" - exit 64 - ;; -esac |