From 97bc6c7868b4e6c7c04d7328de656190251bc012 Mon Sep 17 00:00:00 2001
From: Phil Davis <phil.davis@inf.org>
Date: Fri, 11 Dec 2015 19:17:56 +0545
Subject: Random stuff in tools folder tree

White space and text or comment typos only - nothing functional.
---
 tools/scripts/generate-privdefs.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tools/scripts/generate-privdefs.php')

diff --git a/tools/scripts/generate-privdefs.php b/tools/scripts/generate-privdefs.php
index fb1f09b..553be1e 100755
--- a/tools/scripts/generate-privdefs.php
+++ b/tools/scripts/generate-privdefs.php
@@ -100,7 +100,7 @@ foreach ($found as $fname)
 echo "--Generating privilege definitions--\n";
 $privdef = $prefix."etc/inc/priv.defs.inc";
 
-$fp = fopen($privdef,"w");
+$fp = fopen($privdef, "w");
 if (!$fp) {
 	echo "unable to open {$privdef}\n";
 	exit -2;
@@ -196,7 +196,7 @@ echo "--Checking for pages without privilege definitions--\n";
 foreach ($found as $fname) {
 	$match = false;
 	foreach ($pages_current as $pname => $pdesc) {
-		if (!strcmp($pname,$fname)) {
+		if (!strcmp($pname, $fname)) {
 			$match = true;
 			break;
 		}
@@ -210,7 +210,7 @@ echo "--Checking for stale privilege definitions--\n";
 foreach ($pages_current as $pname => $pdesc) {
 	$match = false;
 	foreach ($found as $fname) {
-		if (!strncmp($fname,$pname,strlen($fname))) {
+		if (!strncmp($fname, $pname, strlen($fname))) {
 			$match = true;
 			break;
 		}
-- 
cgit v1.1