diff options
| author | unknown <lenz@mysql.com> | 2002-12-05 22:05:31 +0100 |
|---|---|---|
| committer | unknown <lenz@mysql.com> | 2002-12-05 22:05:31 +0100 |
| commit | 820589496fbae332bf2c65b46a28126cfe953ca7 (patch) | |
| tree | 099892f349fe42652bdfd390c1f416a13a007795 /support-files/mysql.server.sh | |
| parent | 9b5167eeac3e8d14134769334d94f260cb5db277 (diff) | |
| parent | 5e354455bed2b7df3b7433ad20ec518877dee49f (diff) | |
| download | mariadb-git-820589496fbae332bf2c65b46a28126cfe953ca7.tar.gz | |
Merge mysql.com:/space/my/mysql-4.0
into mysql.com:/space/my/mysql-4.0-build
support-files/mysql.server.sh:
Auto merged
Diffstat (limited to 'support-files/mysql.server.sh')
| -rw-r--r-- | support-files/mysql.server.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/support-files/mysql.server.sh b/support-files/mysql.server.sh index d52ade03836..7340cff9cad 100644 --- a/support-files/mysql.server.sh +++ b/support-files/mysql.server.sh @@ -174,9 +174,16 @@ case "$mode" in fi ;; + 'restart') + # Stop the service and regardless of whether it was + # running or not, start it again. + $0 stop + $0 start + ;; + *) # usage - echo "usage: $0 start|stop" + echo "Usage: $0 start|stop|restart" exit 1 ;; esac |