add mysql restart after mysql_upgrade

rwth-acis · Dec 12, 2017 · f61ca48 · f61ca48
1 parent 628197e
commit f61ca48
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.install-mysql-5.7.sh b/.travis.install-mysql-5.7.sh
@@ -4,4 +4,5 @@ sudo dpkg --install mysql-apt-config_0.7.3-1_all.deb
 sudo apt-get update -q
 sudo apt-get install --allow-unauthenticated -q -y -o Dpkg::Options::=--force-confnew mysql-server
 sudo mysql_upgrade
+sudo service mysql restart
 sudo apt-get install ant-optional