mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
Merge mysql.com:/home/mydev/mysql-4.0
into mysql.com:/home/mydev/mysql-4.0-bug2831 BitKeeper/etc/logging_ok: auto-union
This commit is contained in:
commit
146019b593
2 changed files with 5 additions and 0 deletions
|
|
@ -39,6 +39,7 @@ hf@deer.mysql.r18.ru
|
||||||
hf@genie.(none)
|
hf@genie.(none)
|
||||||
igor@hundin.mysql.fi
|
igor@hundin.mysql.fi
|
||||||
igor@rurik.mysql.com
|
igor@rurik.mysql.com
|
||||||
|
ingo@mysql.com
|
||||||
jani@a80-186-24-72.elisa-laajakaista.fi
|
jani@a80-186-24-72.elisa-laajakaista.fi
|
||||||
jani@dsl-jkl1657.dial.inet.fi
|
jani@dsl-jkl1657.dial.inet.fi
|
||||||
jani@hynda.(none)
|
jani@hynda.(none)
|
||||||
|
|
|
||||||
|
|
@ -2042,6 +2042,10 @@ static int
|
||||||
com_shell(String *buffer, char *line __attribute__((unused)))
|
com_shell(String *buffer, char *line __attribute__((unused)))
|
||||||
{
|
{
|
||||||
char *shell_cmd;
|
char *shell_cmd;
|
||||||
|
|
||||||
|
/* Skip space from line begin */
|
||||||
|
while (isspace(*line))
|
||||||
|
line++;
|
||||||
if (!(shell_cmd = strchr(line, ' ')))
|
if (!(shell_cmd = strchr(line, ' ')))
|
||||||
{
|
{
|
||||||
put_info("Usage: \\! shell-command", INFO_ERROR);
|
put_info("Usage: \\! shell-command", INFO_ERROR);
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue