| ndai | b94eb26 | 2004-10-13 15:55:37 +0000 | [diff] [blame] | 1 | # Debugging options for the org.eclipse.wst.server.ui plugin |
| 2 | |
| 3 | # Turn on general debugging |
| deboer | dbf0851 | 2005-02-11 15:47:28 +0000 | [diff] [blame] | 4 | org.eclipse.wst.server.ui/debug=true |
| ndai | b94eb26 | 2004-10-13 15:55:37 +0000 | [diff] [blame] | 5 | |
| deboer | 123b625 | 2006-08-14 03:18:59 +0000 | [diff] [blame^] | 6 | # Loading of extension points |
| 7 | org.eclipse.wst.server.ui/extension_point=false |
| 8 | |
| 9 | # Performance of loading and calling delegates |
| 10 | org.eclipse.wst.server.ui/performance=false |