add function to get http header value with default value

David RENÉ
1 parent 825d93bf
Showing 1 changed file with 14 additions and 0 deletions Show diff stats
web/CXM_common.anubis
@@ -47,6 +47,20 @@ public define Maybe(String)
   }
 .
  
+public define String
+  http_header_value
+  (
+    List(HTTP_header) l,
+    String            name,
+    String            default
+  )=
+  if http_header_value(l, name) is
+  {
+    failure         then  default,
+    success(result) then result
+  }
+.
+
 public define List(String)
   to_List_String
   (