| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE html |
| PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| <html> |
| <head> |
| <!-- /******************************************************************************* |
| * Copyright (c) 2000, 2005 IBM Corporation and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * IBM Corporation - initial API and implementation |
| *******************************************************************************/ --> |
| <link rel="stylesheet" type="text/css" href="../../org.eclipse.wst.doc.user/common.css" /> |
| <title>Editing a server</title> |
| </head> |
| <body id="twedtins"><a name="twedtins"><!-- --></a> |
| |
| <h1 class="topictitle1">Editing a server</h1> |
| <div><p>The server tools feature provides you with editors so that you |
| may change your server configuration. To edit a server, you can do one of the following:</p><ul><li class="skipspace"><span>Double-click on the server in the Servers view.</span></li> |
| <li class="skipspace"><span>Right-click on the server in the Servers view, and then select |
| <span class="uicontrol">Open</span>.</span> Depending on what run-time environment |
| the server is defined to use, or whether it is defined as a local or remote |
| server, the fields that you can change may be different.</li> |
| <li class="skipspace"><span>To save your changes, you may either select <span class="menucascade"><span class="uicontrol">File |
| > Save</span></span> or press <span class="uicontrol">CTRL+S</span>.</span></li> |
| <li class="skipspace"><span>Make sure that the editor is closed before starting, restarting |
| or adding and removing modules on the server</span></li> |
| </ul> |
| </div> |
| </body> |
| </html> |
