1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Fix 'source' command in mysql client to handle delimiter command

in sourced file properly. (Bug #11523)
This commit is contained in:
jimw@mysql.com
2005-08-09 12:17:28 -07:00
parent a17fa23332
commit 397cef9413
4 changed files with 24 additions and 9 deletions

View File

@@ -0,0 +1,8 @@
delimiter //
create table t2 (a int) //
delimiter ;
\d //
create table t3 (a int) //
\d ;
show tables;
drop table t2, t3;