Commit 11ce51801359e55d7df8944fa366d2892672c6a5
1 parent
e5f23786
add date_not_nullwhich return the date from DB_date or default if date is NULL
Showing
1 changed file
with
12 additions
and
0 deletions
Show diff stats
database/db_types.anubis
| @@ -237,6 +237,18 @@ public define String | @@ -237,6 +237,18 @@ public define String | ||
| 237 | . | 237 | . |
| 238 | 238 | ||
| 239 | public define String | 239 | public define String |
| 240 | + date_not_null | ||
| 241 | + ( | ||
| 242 | + DB_date d, | ||
| 243 | + String default | ||
| 244 | + )= | ||
| 245 | + if d.date = "{NULL}" then | ||
| 246 | + default | ||
| 247 | + else | ||
| 248 | + d.date | ||
| 249 | +. | ||
| 250 | + | ||
| 251 | +public define String | ||
| 240 | to_String | 252 | to_String |
| 241 | ( | 253 | ( |
| 242 | DB_datetime dt | 254 | DB_datetime dt |