really rename PLUGIN --> SERVLET

This commit is contained in:
interp 2002-10-01 12:36:50 +00:00
parent 85e75950a3
commit 02169de482
1 changed files with 1 additions and 1 deletions

View File

@ -325,7 +325,7 @@
;; --> absolute file name needed ;; --> absolute file name needed
(load-config-file full-servlet-name) (load-config-file full-servlet-name)
;; servlet-structure to load must be named "servlet" ;; servlet-structure to load must be named "servlet"
(let ((plugin-structure (reify-structure 'servlet))) (let ((servlet-structure (reify-structure 'servlet)))
(load-structure servlet-structure) (load-structure servlet-structure)
(if cached? (if cached?
(begin (begin