mysql workbench修改远程服务器上的存储过程

Question

我正在尝试修改远程服务器中的存储过程。用户@％帐户对相关数据库拥有CREATE PROCEDURE，ALTER PROCEDURE和EXECUTE权限。

我没有从远程服务器收到任何错误或拒绝，只有成功通知。但是，当打开远程服务器的phpmyadmin并查看该过程时，其代码未经修改。

我正在使用mysql workbitch 5.2.38，连接到mysql服务器5.1.18。我尝试通过CLI连接并运行测试，这就是我得到的：

mysql> drop procedure benchmark_1;
Query OK, 0 rows affected (0.00 sec)

mysql> create procedure benchmark_1 () begin end;
Query OK, 0 rows affected (0.00 sec)

我可以连接得很好。标准查询执行和更新数据就好了，存储过程删除和创建语句工作正常，但是尽管服务器返回操作成功，但更改不会持久存储在服务器上。