summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--NEWS1
-rwxr-xr-xtools/pingctl4
2 files changed, 3 insertions, 2 deletions
diff --git a/NEWS b/NEWS
index 1e2492e..5152b29 100644
--- a/NEWS
+++ b/NEWS
@@ -5,6 +5,7 @@ Changes in version
* Write REMAIL n to mix.cfg - apparently it defaults to yes, which
means Mixmaster will want to create keys.
* Fix random typos.
+ * Fix syntax error in pingctl.
Changes in version 2.0beta30 - 2002-08-15
* Write NAME and ADDRESS to mix.cfg - mix cannot figure it out
diff --git a/tools/pingctl b/tools/pingctl
index 45a34ec..f175c76 100755
--- a/tools/pingctl
+++ b/tools/pingctl
@@ -19,7 +19,7 @@ CHECKULIMIT=1
CHECKUID=1
# Check for evil ulimits
-if [ "$CHECKULIMIT" -gt "0" ];
+if [ "$CHECKULIMIT" -gt "0" ]; then
FDs=`ulimit -n`
HFDs=`ulimit -H -n`
if [ "$FDs" -lt "512" ]; then
@@ -46,7 +46,7 @@ fi
# Check for right User
SU=""
-if [ "$CHECKUID" -gt "0" ];
+if [ "$CHECKUID" -gt "0" ]; then
CUID=`id -u`
CUIDNAME=`id -nu`
if [ "$CUIDNAME" = "$USER" ]; then