wok-current diff nconf/receipt @ rev 21660

updated pari and pari-dev (2.5.3 -> 2.11.2)
author: Hans-G?nter Theisgen
date: Fri May 31 17:51:21 2019 +0100 (2019-05-31)
parents: 9e01bc6321ea
children: afae00265386
     1.1 --- a/nconf/receipt	Sun Dec 20 15:13:45 2015 +0100
     1.2 +++ b/nconf/receipt	Fri May 31 17:51:21 2019 +0100
     1.3 @@ -70,11 +70,13 @@
     1.4  	# Minimal config for NConf.
     1.5  	if [ -z "$1" ]; then
     1.6  		if ( ! mysqladmin -s ping > /dev/null ); then
     1.7 +			echo
     1.8  			echo "Starting MySQL server"
     1.9  			( /etc/init.d/mysql start ; status  ) || exit 
    1.10  			sleep 4 #let the mysql daemon start
    1.11  		fi
    1.12  		if ( ! mysql -u root -Be 'show databases' | grep -q $db ); then
    1.13 +			echo
    1.14  			echo -n "Create $db database"
    1.15  			mysql -Be "create database $db" ; status
    1.16  			# We suppose that $DB_USER user does not exist.