~/jendhub

def origin.ok

ezmcp@0.1.0.0 · src/web.bend:123

import ezmcp@0.1.0.0/src/web.bend as Web
import Base

123# whether an Origin is allowed: an absent one (a client that is not a
124# browser), a page on this machine, or one the server lists
125def origin.ok(origins: List<&2, String>, +origin: String) -> Bool:
126  origin.or(String.is_empty(origin),
127    _u => origin.or(loopback(origin), _v => origin.listed(origins, origin)))

Uses (7)

Used by (1)