Description

Using DELIMITER $$ to temporarily change the delimiter in order to create a new procedure results in SQL Error (1064) You have an error in your SQL syntax ... near 'DELIMITER' at line {last line}.

A workaround is to use double carets (^^).

$$ Worked in versions up to 12.12.0.7122. Stopped working sometime on or before version 12.13.0.7147. Version 12.14.0.7165 is still affected.

HeidiSQL version

12.13.0.7147

Database server version

MySQL 8.4.6

Reproduction recipe

Attempt to run on affected versions for error:

DELIMITER $$
CREATE DEFINER = 'test'@'127.0.0.1' PROCEDURE test.testproc
(
)
READS SQL DATA
BEGIN

	SELECT 1;

END$$
DELIMITER ;

Replacing $$'s with ^^'s works on all versions (but our codebase is all $$'s).

Error/Backtrace