1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

after merge fix

This commit is contained in:
serg@serg.mylan
2004-05-18 09:56:45 +02:00
parent 7961968ada
commit d9ec0f2b90

View File

@@ -2406,7 +2406,7 @@ com_shell(String *buffer, char *line __attribute__((unused)))
char *shell_cmd;
/* Skip space from line begin */
while (isspace(*line))
while (my_isspace(charset_info, *line))
line++;
if (!(shell_cmd = strchr(line, ' ')))
{