MySQL Workbench not showing stored procedures that I have created I have a simple stored procedure that I have just created.



I have applied this script to my database



This script shows up in the my list of stored procedure



However, when I restart MySQL workbench, its not in the list anymore



Interestingly, the procedure still exists even though it is not shown.

I can call

CALL LoadBatch ('057753') ; 


And get results

Whats going on, how can I see what stored procedure I have created?

I have tried clicking "Refresh All"



EDIT

As Vérace has suggested 

I have tried calling the LoadBatch command from the commande line



This seems to be unresponsive to my stored procedure.



EDIT

After adding the ; character



I think this stored procedure call worked ok from the command line

Here is the warning




EDIT

I think this error message is important
I've just upgraded my MySQL server version and this problem is fixed.

It must have been an issue related to using MySQL Workbench with an older version of MySQL server.