26 May
2006
26 May
'06
11:02 a.m.
Michal Čihař a écrit :
Hi
On Thu, 25 May 2006 14:16:26 -0700 "Robin H. Johnson" robbat2@users.sourceforge.net wrote:
As for changing the delimiter - I have tried to look into the mysqli interface for it, but I haven't found anything that seems to be correct for it.
We probably need to parse SQL to detect this case and then change delimiter in SQL splitter.
But this DELIMITER thing is not SQL syntax, it's for the command-line utility. Maybe we could have a small option in the query window that enables to specify which group of characters are the SQL delimiter, with ";" being the default; then inform the parser about it.
Marc