summaryrefslogtreecommitdiff
path: root/tools/pingctl
diff options
context:
space:
mode:
authorPeter Palfrader <peter@palfrader.org>2003-02-20 19:39:04 +0000
committerPeter Palfrader <peter@palfrader.org>2003-02-20 19:39:04 +0000
commite59d79e546de5a91accbe0924b56220969a489fb (patch)
tree00d7f52b85c60a9737db33ced56252b076a27dea /tools/pingctl
parent18a1444d32eb29599865fdb651cc73ab846300e7 (diff)
Print status summary to log dailysnapshot/2003-02-20
Diffstat (limited to 'tools/pingctl')
-rwxr-xr-xtools/pingctl2
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 \"$@\""