| Automatically publish before starting servers |
Specifies that all the files should automatically be published before
starting the server. |
| Automatically restart servers when necessary |
Specifies
that the server tools can automatically restart the server when it detects
that the server must be restarted to handle resource changes in the workspace. |
| Prompt before making irreversible changes within an editor |
Specifies that the server tools will prompt you before you make a
change in a editor that cannot be undone. |
| Create server resources in workspace |
Specifies
that when a server is created to also create its server and server configuration
files to be displayed in the workspace. For example, when this check box is
selected; in the Navigator view, these server resources appear in the server
project folder. By default, this option is disabled and the resources are
saved as metadata. |