Manuel d'installation et d'exploitation


Ce plugin permet de changer certains paramètres au démarrage du serveur. Utile pour déployer régulièrement des données d'un autre serveur et adapter les paramètres par exemple.

Fonctionnement

Ce plugin s'utilise en plaçant un fichier 'start-actions.xml' dans le dossier WEB-INF/param du serveur.

Le fichier contient les instructions à effectuer.

Le fichier est ensuite archivé sous la forme 'start-actions-2020-01-01T120000.000100.xml' afin de ne pas être exécuté une deuxième fois.

Configuration

Le format du fichier est le suivant :

<actions>
    <users-populations>
        ...
    </users-populations>

    <rights>
        ...
    </rights>
</actions>

Changer le mot de passe d'un utilisateur

Dans la balise <users-populations> vous pouvez mettre des balise <users-population> au format

<users-population id="POPULATIONID">
    <user login="LOGIN"> 
        <password>PASSWORD</password>
    </user>
</users-population>

où :

  • POPULATIONID est l'identifiant de la population
  • LOGIN est l'identifiant de l'utilisateur dans la population
  • PASSWORD est le nouveau mot de passe à positionner

Cette instruction permet de modifier le mot de passe administrateur si il a été perdu.
Population "admin_population" et login "admin"

Modifier un profil de droits

Dans la balise <rights> vous pouvez mettre une balise <profiles> qui contient des balises <profile>

<profiles>
    <profile id="PROFILEID">
        <remove right="RIGHTID"/>
    </profile>
</profiles>

où :

  • PROFILEID est l'identifiant d'un profil
  • RIGHTID est l'identifiant d'un droit
Retour en haut