2019-11-28 14:50:53 +01:00
|
|
|
---
|
|
|
|
|
uri: config.configuration.server.updated
|
|
|
|
|
|
|
|
|
|
description: |
|
|
|
|
|
Une configuration de serveur a été mise à jour.
|
|
|
|
|
|
|
|
|
|
pattern: event
|
|
|
|
|
|
|
|
|
|
parameters:
|
|
|
|
|
server_id:
|
|
|
|
|
type: Number
|
|
|
|
|
description: |
|
|
|
|
|
Identifiant du serveur.
|
2020-01-15 09:15:15 +01:00
|
|
|
server_name:
|
|
|
|
|
type: String
|
|
|
|
|
ref: Server.ServerName
|
|
|
|
|
shortarg: s
|
|
|
|
|
description: Nom du serveur.
|
2019-12-07 16:21:20 +01:00
|
|
|
deployed:
|
2019-11-28 14:50:53 +01:00
|
|
|
type: Boolean
|
|
|
|
|
description: Configuration de type déployée.
|
