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:
unknown
2004-05-18 09:56:45 +02:00
parent 742606bafd
commit 30afc0b52b

View File

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