| commit | db8ede6aa66884c6cb2d2c8519cf2b3ffbf90c61 | [log] [tgz] |
|---|---|---|
| author | deboer <deboer> | Mon Apr 25 16:42:09 2005 +0000 |
| committer | deboer <deboer> | Mon Apr 25 16:42:09 2005 +0000 |
| tree | e3a0bf733fea53a777111b6ecb7bc29f82f3478d | |
| parent | 051495caf4aec05dbf8dda1447d1e4f6c19f6faf [diff] |
Fix NPE
diff --git a/plugins/org.eclipse.jst.server.tomcat.core/tomcatcore/org/eclipse/jst/server/tomcat/core/internal/TomcatServer.java b/plugins/org.eclipse.jst.server.tomcat.core/tomcatcore/org/eclipse/jst/server/tomcat/core/internal/TomcatServer.java index 8702b6f..7124b42 100644 --- a/plugins/org.eclipse.jst.server.tomcat.core/tomcatcore/org/eclipse/jst/server/tomcat/core/internal/TomcatServer.java +++ b/plugins/org.eclipse.jst.server.tomcat.core/tomcatcore/org/eclipse/jst/server/tomcat/core/internal/TomcatServer.java
@@ -57,7 +57,7 @@ public TomcatConfiguration getTomcatConfiguration() throws CoreException { if (configuration == null) { IFolder folder = getServer().getServerConfiguration(); - if (!folder.exists()) + if (folder == null || !folder.exists()) throw new CoreException(new Status(IStatus.ERROR, TomcatPlugin.PLUGIN_ID, 0, TomcatPlugin.getResource("%errorNoConfiguration", folder.getFullPath().toOSString()), null)); String id = getServer().getServerType().getId();