robur/opam-mirror
4
0
Fork 0
Code Issues 6 Pull requests 2 Projects Releases Packages Wiki Activity Actions

Reserve an area for dumping the Serve.t -- basically the tarball and last_modified date #28

Open
hannes wants to merge 1 commit from index-startup into main
pull from: index-startup
merge into: robur:main
Conversation 2 Commits 1 Files changed 2 +172 -70

1 commit

Author SHA1 Message Date
Hannes Mehnert
1e5d412d2d Reserve an area for dumping the Serve.t -- basically the tarball and last_modified date 
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
 2024-11-21 14:17:02 +01:00