diff options
author | Eric Wong <e@yhbt.net> | 2020-08-31 04:41:32 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2020-09-01 00:19:03 +0000 |
commit | cee907599bb7eda0695ae91cf8d633670a88d6c7 (patch) | |
tree | e7e4a0b0f8ce6f0b13d81bda3dde7b887ece7933 /script/public-inbox-watch | |
parent | 47b7047874ed7d6f39b9758134f112cdc46489cf (diff) | |
download | public-inbox-cee907599bb7eda0695ae91cf8d633670a88d6c7.tar.gz |
rename WatchMaildir => Watch
This is no longer limited to Maildirs now that IMAP and NNTP support exist; so give it a shorter name.
Diffstat (limited to 'script/public-inbox-watch')
-rwxr-xr-x | script/public-inbox-watch | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/script/public-inbox-watch b/script/public-inbox-watch index 20534bf2..02491860 100755 --- a/script/public-inbox-watch +++ b/script/public-inbox-watch @@ -3,7 +3,7 @@ # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> use strict; use IO::Handle; -use PublicInbox::WatchMaildir; +use PublicInbox::Watch; use PublicInbox::Config; use PublicInbox::DS; use PublicInbox::Sigfd; @@ -11,18 +11,18 @@ use PublicInbox::Syscall qw($SFD_NONBLOCK); my $oldset = PublicInbox::Sigfd::block_signals(); STDOUT->autoflush(1); STDERR->autoflush(1); -my ($config, $watch_md); +my ($config, $watch); my $reload = sub { $config = PublicInbox::Config->new; - $watch_md->quit if $watch_md; - $watch_md = PublicInbox::WatchMaildir->new($config); + $watch->quit if $watch; + $watch = PublicInbox::Watch->new($config); }; $reload->(); -if ($watch_md) { - my $scan = sub { $watch_md->trigger_scan('full') if $watch_md }; +if ($watch) { + my $scan = sub { $watch->trigger_scan('full') if $watch }; my $quit = sub { - $watch_md->quit if $watch_md; - $watch_md = undef; + $watch->quit if $watch; + $watch = undef; }; my $sig = { HUP => $reload, @@ -41,5 +41,5 @@ if ($watch_md) { PublicInbox::Sigfd::set_sigmask($oldset); PublicInbox::DS->SetLoopTimeout(1000); } - $watch_md->watch($sig, $oldset) while ($watch_md); + $watch->watch($sig, $oldset) while ($watch); } |