Sur la page Préférences, vous pouvez définir les préférences que les serveurs utilisent au démarrage ou en changeant de mode serveur. Le changement de mode serveur se produit lorsque vous utilisez les commandes Exécuter sur le serveur et Déboguer sur le serveur.
Option | Description |
---|---|
Publier automatiquement lors du démarrage des serveurs | Indique que tous les fichiers doivent être publiés automatiquement avant le démarrage du serveur. |
Sauvegarder les éditeurs modifiés avant de démarrer le serveur | Indiquez les préférences d'enregistrement des modifications dans l'un des éditeurs de serveur ouverts avant de démarrer le serveur en sélectionnant l'une des options suivantes :
|
Lors du passage à un autre mode serveur | Lorsque vous faites passer le serveur dans un autre mode, par exemple, en utilisant les commandes Exécuter en tant que > Exécuter sur le serveur ou Déboguer en tant que > Déboguer sur le serveur, indiquez l'action suivante du serveur en sélectionnant l'une des options suivantes :
|
Lors de la sortie du mode débogage | Lorsque vous avez terminer d'exécuter le serveur en mode débogage et que vous le désactivez, à l'aide par exemple de la commande Exécuter en tant que > Exécuter sur le serveur, indiquez l'action suivante du serveur en sélectionnant l'une des options suivantes :
|
Lors du passage en mode débogage, réactiver les points d'arrêt | Lorsque vous faites passer le serveur en mode débogage, par exemple, à l'aide de la commande Déboguer en tant que > Déboguer sur le serveur, indiquez comment vous souhaitez gérer les points d'arrêt actuellement définis dans l'application en sélectionnant l'une des options suivantes :
|