commit | 7ba959960aca0927369e9e27e4780f50ffb0cfa5 | [log] [tgz] |
---|---|---|
author | david_williams <david_williams> | Sun Oct 07 03:45:14 2007 +0000 |
committer | david_williams <david_williams> | Sun Oct 07 03:45:14 2007 +0000 |
tree | 67147cdfa455ba9175dbcc8bce328b97807eda43 | |
parent | c9ddb70d21f05a709aa497598c22d71d1f7af81f [diff] |
reverting "one line fix" regarding ResourceManager
diff --git a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java index 3b080e3..f47347c 100644 --- a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java +++ b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java
@@ -245,7 +245,7 @@ return name.substring(index + 1); } - public synchronized static ResourceManager getInstance() { + public static ResourceManager getInstance() { if (instance == null) new ResourceManager();