• Stephane Glondu's avatar
    Simplification of AUTH_INSTANCE · 621149de
    Stephane Glondu authored
    There were 3 phases: configuration parsing, service definition and
    service registration. The last two can be merged, since there is no
    direct external reference to the service of a specific auth system. As
    a consequence, there is no need for a Register sub-fonctor in
    AUTH_INSTANCE: service definition and registration occur directly in
    the Make function, called by instantiate.
    621149de
auth_cas.ml 6.33 KB