Hannes Mehnert
1e5d412d2d
After each tarball creation to dump the index Also, revise startup: - read index, if successful, start HTTP server - schedule an initialization of the git_kv later (and potential dump) - schedule disk check later - if not successful - initialize git_kv (may need to clone opam repository) - potentially schedule dump - schedule disk check |
||
|---|---|---|
| .. | ||
| archive_checksum.ml | ||
| config.ml | ||
| opam_file.ml | ||
| partitions.ml | ||
| unikernel.ml | ||