+ Can now use LifecycleManager.markForRestart to cause
+ the application to restart after exiting. Formerly needed to
+ create special files in the userdir or use similar tricks.
+
+
+
+
+ Added
diff --git a/openide.util/nbproject/project.properties b/openide.util/nbproject/project.properties
--- a/openide.util/nbproject/project.properties
+++ b/openide.util/nbproject/project.properties
@@ -42,7 +42,7 @@
module.jar.dir=lib
cp.extra=${nb_all}/apisupport.harness/external/openjdk-javac-6-b12.jar
-spec.version.base=7.24.0
+spec.version.base=7.25.0
# For XMLSerializer, needed for XMLUtil.write to work w/ namespaces under JDK 1.4:
diff --git a/openide.util/src/org/openide/LifecycleManager.java b/openide.util/src/org/openide/LifecycleManager.java
--- a/openide.util/src/org/openide/LifecycleManager.java
+++ b/openide.util/src/org/openide/LifecycleManager.java
@@ -83,6 +83,16 @@
*/
public abstract void exit();
+ /**
+ * Request that the application restart immediately after next being shut down.
+ * You may want to then call {@link #exit} to go ahead and restart now.
+ * @throws UnsupportedOperationException if this request cannot be honored
+ * @since org.openide.util 7.25
+ */
+ public void markForRestart() throws UnsupportedOperationException {
+ throw new UnsupportedOperationException();
+ }
+
/** Fallback instance. */
private static final class Trivial extends LifecycleManager {
public Trivial() {