From 7158a6c4a31c4901c4e3c4efe277203bfa65dd9b Mon Sep 17 00:00:00 2001 From: totoro Date: Sat, 6 Jul 2019 13:35:51 +0200 Subject: [PATCH] the web plugin return a list of WEB_Controller --- web/plugin/plugin.anubis | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/plugin/plugin.anubis b/web/plugin/plugin.anubis index 381234c..9dd0819 100644 --- a/web/plugin/plugin.anubis +++ b/web/plugin/plugin.anubis @@ -19,7 +19,7 @@ public type WEB_Plugin: String app_name, //application name String space_name, //space name //version - (SQLite3DataBase db, HK_Database hk_db, VTM _vtm, (LogLevel, String) -> One logger) -> WEB_Controller get_controller, + (SQLite3DataBase db, HK_Database hk_db, VTM _vtm, (LogLevel, String) -> One logger) -> List(WEB_Controller) get_controller, (WEB_Session, String type) -> Maybe(HTML_Partial_Content) get_typed_content // (One dummy) -> Plugin_Left_Menu get_plugin_left_menu // (One dummy) -> -- libgit2 0.21.4