fix bug in get_date which returned date without last digit of the day. For examp…

…le if the date was 2000-12-25 the returned date was 2000-12-2

fix bug in get_date which returned date without last digit of the day. For examp…
…le if the date was 2000-12-25 the returned date was 2000-12-2
David RENÉ
1 parent 56b76ecc
Showing 1 changed file with 21 additions and 2 deletions Show diff stats
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 ********************/