Was trying to remove seafile from a server and drop the databases in mariaDB. Unfortunately, all the documentation says the syntax is: DROP DATABASE DATABASE_