X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;ds=sidebyside;f=upgrade%2Finc%2Fpervasive.sh;h=d0a1992198f798d6f438529bf2d47142b951fd81;hb=cc9dc1ddd643ad6ff206643ffc1e94559ffd27b2;hp=bc369ceff94362f3907aa3182286f1c65415c023;hpb=4c6d30124c8cd3df490555e560f92a835ce40c2a;p=platal.git

diff --git a/upgrade/inc/pervasive.sh b/upgrade/inc/pervasive.sh
index bc369ce..d0a1992 100755
--- a/upgrade/inc/pervasive.sh
+++ b/upgrade/inc/pervasive.sh
@@ -66,6 +66,25 @@ function mysql_run() {
     echo "OK"
 }
 
+function create_db() {
+    echo "* create database "
+    mysql_exec_nodb "CREATE DATABASE IF NOT EXISTS $DATABASE;"
+    mysql_exec_nodb "GRANT ALTER, CREATE, CREATE TEMPORARY TABLES, DELETE, DROP, EXECUTE, INDEX, INSERT, LOCK TABLES, SELECT, UPDATE ON $DATABASE.* TO 'web'@'localhost';"
+    mysql_exec_nodb "FLUSH PRIVILEGES;"
+    echo "OK"
+}
+
+function copy_db() {
+    if [[ -n "$SOURCE_DATABASE" ]]; then
+        confirm "* copying database from $SOURCE_DATABASE to $DATABASE"
+        create_db
+        echo -n "* build database from dump "
+        ( mysqldump --add-drop-table -Q $SOURCE_DATABASE | $MYSQL $DATABASE ) \
+            || die "ERROR"
+        echo "OK"
+    fi
+}
+
 function mysql_run_directory() {
     for sql in $1/*.sql ; do
         mysql_run $sql