From d37b5efbc1f3149a1a0b69922e13ff255ef64958 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@rack-matrix.com>
Date: Sun, 22 Dec 2019 20:43:05 +0100
Subject: [PATCH] add find_DB_id from Message with default value

---
 database/db_types.anubis | 14 ++++++++++++++
 1 file changed, 14 insertions(+), 0 deletions(-)

diff --git a/database/db_types.anubis b/database/db_types.anubis
index e60354e..41c2b4b 100644
--- a/database/db_types.anubis
+++ b/database/db_types.anubis
@@ -62,6 +62,20 @@ public define DB_id
   }
 .
 
+public define DB_id
+  find_DB_id
+  (
+    Message msg,
+    String  name,
+    DB_id   default
+  )=
+  if find_DB_id(msg, name) is
+  {
+    failure         then default,
+    success(db_id)  then db_id
+  }
+.
+
 public define String
   to_String
   (
--
libgit2 0.21.4