From 6f6feb0696be82594640c4faa812d13c57eb8ce7 Mon Sep 17 00:00:00 2001 From: totoro Date: Mon, 8 Jun 2020 11:53:03 +0900 Subject: [PATCH] change the plugin format by adding version and date as component of the type --- web/plugin/plugin.anubis | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/web/plugin/plugin.anubis b/web/plugin/plugin.anubis index ce5accf..4b5b4d0 100644 --- a/web/plugin/plugin.anubis +++ b/web/plugin/plugin.anubis @@ -19,6 +19,8 @@ public type WEB_Plugin: web_plugin( String app_name, //application name String space_name, //space name + String version, + String date, //version (SQLite3DataBase db, HK_Database hk_db, VTM _vtm, (LogLevel, String) -> One logger) -> List(WEB_Controller) get_controller, (SQLite3DataBase db, WEB_Session, String type) -> Maybe(HTML_Partial_Content) get_typed_content @@ -44,10 +46,8 @@ public define Maybe(WEB_Plugin) file_damaged then print("File '"+file_name+"' is damaged.\n\n");failure, bad_version(expected,found) then print("Secondary module '"+file_name+"' doesn't have the same\n"+ " version ("+found+") as primary module ("+expected+").\n\n");failure, - wrong_type(expected,found) then print("Secondary module '"+file_name+"' has type:\n"+ - found+" while primary module expected:\n"+ - expected+"\n\n");failure, - ok(ptah_plugin) then println("ptah plugin: APP ["+ptah_plugin.app_name+"] SPACE ["+ptah_plugin.space_name+"] loaded ");success(ptah_plugin) + wrong_type(expected,found) then print("Secondary module '"+file_name+"' has different type as expected by primary module\n");failure, + ok(ptah_plugin) then println("ptah plugin: APP ["+ptah_plugin.app_name+"] SPACE ["+ptah_plugin.space_name+"] version: "+ptah_plugin.version+" date: "+ptah_plugin.date+" loaded ");success(ptah_plugin) }. public define List(WEB_Plugin) -- libgit2 0.21.4