commit f92d44de561795064ae53c2cd59602aef76c0394
author John Arthorne <johna> Tue Mar 23 17:14:17 2004 +0000
committer John Arthorne <johna> Tue Mar 23 17:14:17 2004 +0000
tree c3052b8c08ff6d28c42d16ce53405e1716658d33
parent 365e58806af86308521120ce8fac6a24e32b1a8d

Update spec of ResourcesPlugin.getWorkspace

bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/ResourcesPlugin.java

diff --git a/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/ResourcesPlugin.java b/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/ResourcesPlugin.java
index b3ae02f..7b878fd 100644
--- a/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/ResourcesPlugin.java
+++ b/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/ResourcesPlugin.java
@@ -282,10 +282,11 @@
 	return plugin;
 }
 /**
- * Returns the workspace.
+ * Returns the workspace. The workspace is not accessible after the resources
+ * plug-in has shutdown.
  *
  * @return the workspace that was created by the single instance of this
- *   plug-in runtime class
+ *   plug-in class, or <code>null</code> if this plug-in has been shut down.
  */
 public static IWorkspace getWorkspace() {
 	return workspace;