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