diff options
| author | Eric Wong <e@80x24.org> | 2019-10-17 08:19:11 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2019-10-17 08:19:11 +0000 |
| commit | fece7fca6aeac74410a813cffcb0da338017d0ed (patch) | |
| tree | dd8ebebc8ec82c65ff10723faeace03eb1152ca6 /lib/PublicInbox/WwwStream.pm | |
| parent | eb424226f3bc1d4a05d1b3900634fadb2ee2c140 (diff) | |
| parent | 144eddbc7abaca320773dda514589a3198c8f58c (diff) | |
| download | public-inbox-fece7fca6aeac74410a813cffcb0da338017d0ed.tar.gz | |
* origin/inboxdir: config: remove redundant inboxdir check config: support "inboxdir" in addition to "mainrepo" examples/grok-pull.post_update_hook: use "inbox_dir"
Diffstat (limited to 'lib/PublicInbox/WwwStream.pm')
| -rw-r--r-- | lib/PublicInbox/WwwStream.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/PublicInbox/WwwStream.pm b/lib/PublicInbox/WwwStream.pm index 06c8f7d2..0f4f55d0 100644 --- a/lib/PublicInbox/WwwStream.pm +++ b/lib/PublicInbox/WwwStream.pm @@ -97,7 +97,7 @@ sub _html_end { $seen{$http} = 1; for my $i (0..$max) { # old parts my be deleted: - -d "$ibx->{mainrepo}/git/$i.git" or next; + -d "$ibx->{inboxdir}/git/$i.git" or next; my $url = "$http/$i"; $seen{$url} = 1; push @urls, "$url $dir/git/$i.git"; |