#/bin/bash


echo "Initializing DBMS..."
MYSQL_ROOT_PASSWORD=bdc /docker-entrypoint.sh mysqld &> /dev/null  &

while ! mysqladmin ping --password=$MYSQL_ROOT_PASSWORD --silent; do
    sleep 1
done
sleep 5

cd $STUDENTE

echo "Compiling application..."
make

echo "Running db.sql script..."
mysql --password=$MYSQL_ROOT_PASSWORD < db.sql

echo "Testing application..."
./applicazione