diff options
Diffstat (limited to 'tools/pingctl')
| -rwxr-xr-x | tools/pingctl | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/tools/pingctl b/tools/pingctl index 3055055..dc71ff1 100755 --- a/tools/pingctl +++ b/tools/pingctl @@ -1,7 +1,28 @@ #!/bin/sh # +# $Id$ +# +# This file is part of Echolot - a Pinger for anonymous remailers. +# +# Copyright (c) 2002 admin@arancio.net +# Copyright (c) 2002, 2003, 2004 Peter Palfrader <peter@palfrader.org> +# +# This program is free software. you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +# + # pingcntl: echolot control + wrapper -# Written by admin@arancio.net, peter@palfrader.org set -e |