From 11ce51801359e55d7df8944fa366d2892672c6a5 Mon Sep 17 00:00:00 2001 From: totoro Date: Tue, 17 Mar 2020 14:07:44 +0900 Subject: [PATCH] add date_not_nullwhich return the date from DB_date or default if date is NULL --- database/db_types.anubis | 12 ++++++++++++ 1 file changed, 12 insertions(+), 0 deletions(-) diff --git a/database/db_types.anubis b/database/db_types.anubis index e60354e..8f131bf 100644 --- a/database/db_types.anubis +++ b/database/db_types.anubis @@ -237,6 +237,18 @@ public define String . public define String + date_not_null + ( + DB_date d, + String default + )= + if d.date = "{NULL}" then + default + else + d.date +. + +public define String to_String ( DB_datetime dt -- libgit2 0.21.4