check that scodoc7 is stopped, and disable it in systemd after migration

tools/migrate_from_scodoc7.sh

@@ -57,6 +57,8 @@ then
     echo "migration en place"
     INPLACE=1
     SCODOC7_HOME=/opt/scodoc7
+    # vérifie que ScoDoc7 est bien arrêté:
+    systemctl is-active scodoc >& /dev/null && systemctl stop scodoc 
 else
     echo "Migration depuis archive $1"
     INPLACE=0
@@ -173,6 +175,14 @@ do
     systemctl restart postgresql
 done 
 
+
+# --- Si migration "en place", désactive ScoDoc 7
+if [ "$INPLACE" == 1 ]
+then
+    systemctl disable scodoc
+fi
+
+
 # Précaution a priori inutile (import-scodoc7-dept efface les caches)
 systemctl restart redis