diff options
Diffstat (limited to 'src/cmd')
| -rw-r--r-- | src/cmd/venti/srv/buildindex.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/cmd/venti/srv/buildindex.c b/src/cmd/venti/srv/buildindex.c index 8714474a..4cf60293 100644 --- a/src/cmd/venti/srv/buildindex.c +++ b/src/cmd/venti/srv/buildindex.c @@ -156,5 +156,8 @@ threadmain(int argc, char *argv[]) if(buildindex(mainindex, part, base, clumps, zero) < 0) sysfatal("can't build new index: %r"); + if(mainindex->bloom) + writebloom(mainindex->bloom); + threadexitsall(0); } |