I can not wait for this to happen! Can be frustrating when you accidentally exit the client. A few months ago someone took a stab at it but its not been merged yet.
https://github.com/MariaDB/server/pull/703
https://github.com/MariaDB/server/pull/703
No comments yet.