mysql start/stop script doesnt have the code to do a force shutdown

postConfigure failed because mysql was still running, so the previous shutdown didnt stop it cleanly. I ran the mysql-Columnstore script and that didnt shut it down and it should have. In the previous version of mysql-Calpont, when it couldnt find the pid file, it would do a kill -9. This code is missing in the mysql-Columnstore script.

root@ip-10-81-19-26:/usr/local/mariadb/columnstore/bin# ../mysql/mysql-Columnstore stop

• MySQL server PID file could not be found!
  root@ip-10-81-19-26:/usr/local/mariadb/columnstore/bin# ps -ef | grep mysql
  root 22974 1 0 Oct24 ? 00:00:00 /bin/sh /usr/local/mariadb/columnstore/mysql//bin/mysqld_safe --datadir=/usr/local/mariadb/columnstore/mysql/db --pid-file=/usr/local/mariadb/columnstore/mysql/db/ip-10-81-19-26.pid --ledir=/usr/local/mariadb/columnstore/mysql//bin
  mysql 23156 22974 0 Oct24 ? 00:00:23 /usr/local/mariadb/columnstore/mysql//bin/mysqld --basedir=/usr/local/mariadb/columnstore/mysql/ --datadir=/usr/local/mariadb/columnstore/mysql/db --plugin-dir=/usr/local/mariadb/columnstore/mysql/lib/plugin --user=mysql --log-error=/usr/local/mariadb/columnstore/mysql/db/ip-10-81-19-26.err --pid-file=/usr/local/mariadb/columnstore/mysql/db/ip-10-81-19-26.pid --socket=/usr/local/mariadb/columnstore/mysql/lib/mysql/mysql.sock --port=3306
  root 32701 31913 0 13:54 pts/0 00:00:00 grep --color=auto mysql