Commit d37b5efbc1f3149a1a0b69922e13ff255ef64958
1 parent
21ff3407
add find_DB_id from Message with default value
Showing
1 changed file
with
14 additions
and
0 deletions
Show diff stats
database/db_types.anubis
| @@ -62,6 +62,20 @@ public define DB_id | @@ -62,6 +62,20 @@ public define DB_id | ||
| 62 | } | 62 | } |
| 63 | . | 63 | . |
| 64 | 64 | ||
| 65 | +public define DB_id | ||
| 66 | + find_DB_id | ||
| 67 | + ( | ||
| 68 | + Message msg, | ||
| 69 | + String name, | ||
| 70 | + DB_id default | ||
| 71 | + )= | ||
| 72 | + if find_DB_id(msg, name) is | ||
| 73 | + { | ||
| 74 | + failure then default, | ||
| 75 | + success(db_id) then db_id | ||
| 76 | + } | ||
| 77 | +. | ||
| 78 | + | ||
| 65 | public define String | 79 | public define String |
| 66 | to_String | 80 | to_String |
| 67 | ( | 81 | ( |