mirror of
				https://github.com/MariaDB/server.git
				synced 2025-10-31 19:06:14 +01:00 
			
		
		
		
	|  f577311027 it only worked if mroonga plugin wasn't installed before (normal case), but then it didn't need to delete anything. if, by some glitch, mroonga was already installed, it would delete mroonga from mysql.plugin, but INSTALL would fail (as mroonga was running), and the script aborted, leaving mroonga not in mysql.plugin at all. | ||
|---|---|---|
| .. | ||
| install.sql.in | ||
| Makefile.am | ||
| uninstall.sql | ||