Commit 3b29cef2bdac2fbc18ddabc619de735f3eded6f4
1 parent
db40b9c4
remove find_DB_id which was duplicate in db_type
Showing
1 changed file
with
0 additions
and
14 deletions
Show diff stats
database/db_types.anubis
| ... | ... | @@ -62,20 +62,6 @@ 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 | - | |
| 79 | 65 | public define String |
| 80 | 66 | to_String |
| 81 | 67 | ( | ... | ... |