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

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 https://lists.launchpad.net/maria-developers/msg11217.html https://lists.launchpad.net/maria-developers/msg11217.html https://jira.mariadb.org/browse/MDEV-14448 https://jira.mariadb.org/browse/MDEV-14448