From 913b6ccde2ff423490637d1dfb40c6812acf70b6 Mon Sep 17 00:00:00 2001
From: Peter Palfrader <peter@palfrader.org>
Date: Wed, 21 Aug 2002 19:25:28 +0000
Subject: Fix syntax error in pingctl

---
 NEWS          | 1 +
 tools/pingctl | 4 ++--
 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
-- 
cgit v1.2.3