projects
/
webmin.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Handle hostnames with upper-case letters
[webmin.git]
/
mysql
/
stop.cgi
1
#!/usr/local/bin/perl
2
# stop.cgi
3
# Stop the MySQL database server
4
5
require './mysql-lib.pl';
6
&error_setup($text{'stop_err'});
7
$err = &stop_mysql();
8
&error($err) if ($err);
9
&webmin_log("stop");
10
&redirect("");
11