diff options
author | Peter Palfrader <peter@palfrader.org> | 2003-02-20 19:39:04 +0000 |
---|---|---|
committer | Peter Palfrader <peter@palfrader.org> | 2003-02-20 19:39:04 +0000 |
commit | e59d79e546de5a91accbe0924b56220969a489fb (patch) | |
tree | 00d7f52b85c60a9737db33ced56252b076a27dea /tools | |
parent | 18a1444d32eb29599865fdb651cc73ab846300e7 (diff) |
Print status summary to log dailysnapshot/2003-02-20
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/pingctl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/pingctl b/tools/pingctl index dc63e31..3a3ede6 100755 --- a/tools/pingctl +++ b/tools/pingctl @@ -94,7 +94,7 @@ reload|force-reload|restart) sleep 10 $0 start ;; -process|add|delete|set|setremailercaps|deleteremailercaps|getkeyconf|sendpings|buildstats|buildkeys|buildthesaurus|buildfromlines|dumpconf) +process|add|delete|set|setremailercaps|deleteremailercaps|getkeyconf|sendpings|buildstats|buildkeys|buildthesaurus|buildfromlines|dumpconf|summary) echo "Running pingd $1..." if [ ! -z "$SU" ]; then $SU "$PINGD \"$@\"" |