From d3827d8e72c849a921e319aab60a786c2bc68e44 Mon Sep 17 00:00:00 2001
From: interp <interp>
Date: Tue, 1 Oct 2002 17:42:06 +0000
Subject: [PATCH] some renames, some more exports in SERVLET-HANDLER/ADMIN

---
 scheme/httpd/surflets/packages.scm | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/scheme/httpd/surflets/packages.scm b/scheme/httpd/surflets/packages.scm
index b2ab024..4a1e4cc 100644
--- a/scheme/httpd/surflets/packages.scm
+++ b/scheme/httpd/surflets/packages.scm
@@ -77,15 +77,23 @@
 (define-interface servlet-handler/admin-interface
   (export get-loaded-servlets
 	  unload-servlet
-	  set-instance-lifetime!
-	  get-instance-lifetime
+	  set-options-instance-lifetime
+	  options-instance-lifetime
+	  set-options-cache-servlets?
+	  options-cache-servlets?
+	  options-servlet-path
+	  options-servlet-prefix
 	  get-instances
 	  instance-servlet-name
 	  instance-memo
 	  instance-continuation-table
 	  instance-continuation-table-lock
 	  instance-continuation-counter
-	  instance-delete!))
+	  delete-instance!
+	  instance-adjust-timeout!
+	  get-continuations
+	  delete-continuation!
+	  session-instance-id))
 
 (define-structures
   ((servlet-handler servlet-handler-interface)