| # Debugging options for the org.eclipse.wst.server.ui plugin |
| |
| # Turn on general debugging |
| org.eclipse.wst.server.ui/debug=true |
| |
| # Tracing options |
| org.eclipse.wst.server.ui/config=false |
| org.eclipse.wst.server.ui/info=false |
| org.eclipse.wst.server.ui/warning=false |
| org.eclipse.wst.server.ui/severe=false |
| org.eclipse.wst.server.ui/finest=false |
| org.eclipse.wst.server.ui/finer=false |
| |
| # Loading of extension points |
| org.eclipse.wst.server.ui/extension_point=false |
| |
| # Performance of loading and calling delegates |
| org.eclipse.wst.server.ui/performance=false |