• Stephane Glondu's avatar
    Changes in metadata handling · 789b20c1
    Stephane Glondu authored
     - metadata is specific to web, move it there
     - create Web_serializable, and also move randomness there
     - metadata is not optional (but its components can be)
     - rename user_type into user_domain
     - serializable version of ACLs
    789b20c1
server.mllib 173 Bytes