To reproduce, execute the following steps from the root directory of the server tree:
mysql_install_db --datadir=<datadir path>
mysql -u root -P 3306 < storage/spider/scripts/install_spider.sql
mysqladmin -u root -P 3306 shutdown
Shutdown will not finish.
Server does not shut down with SIGTERM after installing Spider 3.3 plugin