| # Debugging options for the org.eclipse.wst.server.core plugin | |
| # Turn on general debugging | |
| org.eclipse.wst.server.core/debug=true | |
| # Tracking of server resources | |
| org.eclipse.wst.server.core/resources=false | |
| # Loading of extension points | |
| org.eclipse.wst.server.core/extension_point=false | |
| # Server listeners | |
| org.eclipse.wst.server.core/listeners=false | |
| # Performance of loading and calling delegates | |
| org.eclipse.wst.server.core/performance=false |