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

Fixed typo

This commit is contained in:
Michael Widenius
2009-10-02 14:56:11 +03:00
parent cbf16194ca
commit 820c4902a9

View File

@@ -4735,7 +4735,7 @@ static const char *construct_prompt()
if (connected) if (connected)
processed_prompt.append(mysql_get_server_name(&mysql)); processed_prompt.append(mysql_get_server_name(&mysql));
else else
processed_prompt.append("unkown"); processed_prompt.append("unknown");
break; break;
case 'h': case 'h':
{ {