From 4d6dfe865431cb77b3f22d238285a2c975983184 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@rack-matrix.com>
Date: Wed, 3 Aug 2022 15:32:17 +0900
Subject: [PATCH] fix bug in get_date which returned date without last digit of the day. For example if the date was 2000-12-25 the returned date was 2000-12-2

---
 database/db_types.anubis | 23 +++++++++++++++++++++--
 1 file changed, 21 insertions(+), 2 deletions(-)

diff --git a/database/db_types.anubis b/database/db_types.anubis
index 7158516..dccf877 100644
--- a/database/db_types.anubis
+++ b/database/db_types.anubis
@@ -323,7 +323,7 @@ public define String
     DB_datetime dt
   )=
   with ba_dt = to_byte_array(dt.datetime),
-  to_string(extract(ba_dt, 0, 9))
+  to_string(extract(ba_dt, 0, 10))
 .
 
 public define String
@@ -370,6 +370,14 @@ public define DB_date
 .
 
 public define Maybe(DB_date)
+  datetime_to_mb_date
+  (
+     DB_datetime dt
+  )=
+  success(db_date(get_date(dt)))
+.
+
+public define Maybe(DB_date)
   mb_datetime_to_mb_date
   (
      Maybe(DB_datetime) mb_dt
@@ -379,7 +387,18 @@ public define Maybe(DB_date)
     failure     then failure,
     success(dt) then success(db_date(get_date(dt)))
   }
-  
+.
+
+public define Maybe(DB_date)
+  to_mb_date
+  (
+    String _date
+  )=
+  if _ISO_8601_date_to_Int(_date) is 
+  {
+    failure           then failure,
+    success(int_date) then success(db_date(_Int_to_ISO_8601_date(int_date)))
+  }
 .
 /********** Some default type values ********************/
 
--
libgit2 0.21.4