From ec40bec4755a1f825a2472ccbe4c7756261d88e9 Mon Sep 17 00:00:00 2001
From: stefanp <helma@helma.org>
Date: Sat, 8 Jun 2002 19:54:49 +0000
Subject: [PATCH] added extension mechanism: call applicationStarted() and
 applicationStopped() on every active extension (list specified by
 helma.main.Server).

---
 src/helma/framework/core/Application.java | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/src/helma/framework/core/Application.java b/src/helma/framework/core/Application.java
index 37a1a5c7..b01b0804 100644
--- a/src/helma/framework/core/Application.java
+++ b/src/helma/framework/core/Application.java
@@ -5,6 +5,8 @@ package helma.framework.core;
 
 import helma.doc.DocApplication;
 import helma.doc.DocException;
+import helma.extensions.HelmaExtension;
+import helma.extensions.ConfigurationException;
 import helma.framework.*;
 import helma.main.Server;
 import helma.scripting.*;
@@ -225,6 +227,16 @@ public final class Application extends UnicastRemoteObject implements IRemoteApp
 	// scriptingEngine = new helma.scripting.fesi.FesiScriptingEnvironment ();
 	// scriptingEngine.init (this, props);
 
+	Vector extensions = Server.getServer ().getExtensions ();
+	for (int i=0; i<extensions.size(); i++) {
+	    HelmaExtension ext = (HelmaExtension)extensions.get(i);
+	    try {
+	        ext.applicationStarted (this);
+	    } catch (ConfigurationException e) {
+	        logEvent ("couldn't init extension " + ext.getName () + ": " + e.toString ());
+	    }
+	}
+
 	typemgr = new TypeManager (this);
 	typemgr.createPrototypes ();
 	// logEvent ("Started type manager for "+name);
@@ -316,6 +328,13 @@ public final class Application extends UnicastRemoteObject implements IRemoteApp
 	// null out type manager
 	typemgr = null;
 
+	// tell the extensions that we're stopped.
+	Vector extensions = Server.getServer ().getExtensions ();
+	for (int i=0; i<extensions.size(); i++) {
+	    HelmaExtension ext = (HelmaExtension)extensions.get(i);
+	    ext.applicationStopped (this);
+	}
+
 	// stop logs if they exist
 	if (eventLog != null) {
 	    eventLog.close ();