• Stephane Glondu's avatar
    Restructure Registration · 0544f53e
    Stephane Glondu authored
     - define Registration.Site of type SITE_SERVICES
     - split election initialization in two parts:
       1. (inside Site) define a generic register_election
          function supposed to be callable from a running server
       2. (outside Site) register all elections that have
          been declared in the configuration file
     - main_election and featured election are no longer computed, but
       mutated dynamically
     - less things exported in WEB_SERVICES
web_election.mli 1.79 KB