From f35123e721db9f5cb877e8f5d59ff0b95be0efdd Mon Sep 17 00:00:00 2001
From: tbrehm <t.brehm@ispconfig.org>
Date: Mon, 2 Jul 2012 13:10:57 +0000
Subject: [PATCH] Fixed line indention of some files.

---
 install/lib/install.lib.php              | 149 ++++++++++++-----------
 server/lib/classes/monitor_tools.inc.php |  51 ++++----
 2 files changed, 101 insertions(+), 99 deletions(-)

diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php
index ea8ac03a35..63c4abfcda 100644
--- a/install/lib/install.lib.php
+++ b/install/lib/install.lib.php
@@ -68,80 +68,81 @@ function get_distname() {
 	
 	//** Debian or Ubuntu
 	if(file_exists('/etc/debian_version')) {
-	if (strstr(trim(file_get_contents('/etc/issue')), 'Ubuntu')) {
-                if (strstr(trim(file_get_contents('/etc/issue')), 'LTS')) {
-                $lts=" LTS";
-                }else{
-                $lts="";
-                }
-                        $issue=file_get_contents('/etc/issue');
-                        $distname = 'Ubuntu';
-                        $distid = 'debian40';
-                        $distbaseid = 'debian';
-                        $ver = explode(' ',$issue);
-                        $ver = array_filter($ver);
-                        $ver = next($ver);
-                        $mainver = explode('.',$ver);
-                        $mainver = array_filter($mainver);
-                        $mainver = current($mainver).'.'.next($mainver);
-                        switch ($mainver){
-                        case "12.10":
-                                $relname = "(Quantal Quetzal)";
-                                break;
-                        case "12.04":
-                                $relname = "(Precise Pangolin)";
-                                break;
-                        case "11.10":
-                                $relname = "(Oneiric Ocelot)";
-                                break;
-                        case "11.14":
-                                $relname = "(Natty Narwhal)";
-                                break;
-                        case "10.10":
-                                $relname = "(Maverick Meerkat)";
-                                break;
-                        case "10.04":
-                                $relname = "(Lucid Lynx)";
-                                break;
-                        case "9.10":
-                                $relname = "(Karmic Koala)";
-                                break;
-                        case "9.04":
-                                $relname = "(Jaunty Jackpole)";
-                                break;
-                        case "8.10":
-                                $relname = "(Intrepid Ibex)";
-                                break;
-                        case "8.04":
-                                $relname = "(Hardy Heron)";
-                                break;
-                        case "7.10":
-                                $relname = "(Gutsy Gibbon)";
-                                break;
-                        case "7.04":
-                                $relname = "(Feisty Fawn)";
-                                break;
-                        case "6.10":
-                                $relname = "(Edgy Eft)";
-                                break;
-                        case "6.06":
-                                $relname = "(Dapper Drake)";
-                                break;
-                        case "5.10":
-                                $relname = "(Breezy Badger)";
-                                break;
-                        case "5.04":
-                                $relname = "(Hoary Hedgehog)";
-                                break;
-                        case "4.10":
-                                $relname = "(Warty Warthog)";
-                                break;
-                        default:
-                                $relname = "UNKNOWN";
-                        }
-                        $distver = $ver.$lts." ".$relname;
-                        echo $distver;
-                } elseif(trim(file_get_contents('/etc/debian_version')) == '4.0') {
+		if (strstr(trim(file_get_contents('/etc/issue')), 'Ubuntu')) {
+			if (strstr(trim(file_get_contents('/etc/issue')), 'LTS')) {
+				$lts=" LTS";
+			} else {
+				$lts="";
+			}
+
+			$issue=file_get_contents('/etc/issue');
+			$distname = 'Ubuntu';
+			$distid = 'debian40';
+			$distbaseid = 'debian';
+			$ver = explode(' ',$issue);
+			$ver = array_filter($ver);
+			$ver = next($ver);
+			$mainver = explode('.',$ver);
+			$mainver = array_filter($mainver);
+			$mainver = current($mainver).'.'.next($mainver);
+			switch ($mainver){
+				case "12.10":
+					$relname = "(Quantal Quetzal)";
+				break;
+				case "12.04":
+					$relname = "(Precise Pangolin)";
+				break;
+				case "11.10":
+					$relname = "(Oneiric Ocelot)";
+				break;
+				case "11.14":
+					$relname = "(Natty Narwhal)";
+				break;
+				case "10.10":
+					$relname = "(Maverick Meerkat)";
+				break;
+				case "10.04":
+					$relname = "(Lucid Lynx)";
+				break;
+				case "9.10":
+					$relname = "(Karmic Koala)";
+				break;
+				case "9.04":
+					$relname = "(Jaunty Jackpole)";
+				break;
+				case "8.10":
+				$relname = "(Intrepid Ibex)";
+				break;
+				case "8.04":
+					$relname = "(Hardy Heron)";
+				break;
+				case "7.10":
+					$relname = "(Gutsy Gibbon)";
+				break;
+				case "7.04":
+					$relname = "(Feisty Fawn)";
+				break;
+				case "6.10":
+					$relname = "(Edgy Eft)";
+				break;
+				case "6.06":
+					$relname = "(Dapper Drake)";
+				break;
+				case "5.10":
+					$relname = "(Breezy Badger)";
+				break;
+				case "5.04":
+					$relname = "(Hoary Hedgehog)";
+				break;
+				case "4.10":
+					$relname = "(Warty Warthog)";
+				break;
+				default:
+					$relname = "UNKNOWN";
+			}
+			$distver = $ver.$lts." ".$relname;
+			swriteln("Operating System: ".$distver."\n");		
+		} elseif(trim(file_get_contents('/etc/debian_version')) == '4.0') {
 			$distname = 'Debian';
 			$distver = '4.0';
 			$distid = 'debian40';
diff --git a/server/lib/classes/monitor_tools.inc.php b/server/lib/classes/monitor_tools.inc.php
index 98f33683d8..d3cdc65f2d 100644
--- a/server/lib/classes/monitor_tools.inc.php
+++ b/server/lib/classes/monitor_tools.inc.php
@@ -44,12 +44,13 @@ class monitor_tools {
 
 		//** Debian or Ubuntu
 		if (file_exists('/etc/debian_version')) {
-if (strstr(trim(file_get_contents('/etc/issue')), 'Ubuntu')) {
-			if (strstr(trim(file_get_contents('/etc/issue')), 'LTS')) {
-			$lts=" LTS";
-			}else{
-			$lts="";
-			}
+			if (strstr(trim(file_get_contents('/etc/issue')), 'Ubuntu')) {
+				if (strstr(trim(file_get_contents('/etc/issue')), 'LTS')) {
+					$lts=" LTS";
+				} else {
+					$lts="";
+				}
+
 				$issue=file_get_contents('/etc/issue');
 				$distname = 'Ubuntu';
 				$distid = 'debian40';
@@ -63,60 +64,60 @@ if (strstr(trim(file_get_contents('/etc/issue')), 'Ubuntu')) {
 				switch ($mainver){
 				case "12.10":
 					$relname = "(Quantal Quetzal)";
-					break;
+				break;
 				case "12.04":
 					$relname = "(Precise Pangolin)";
-					break;
+				break;
 				case "11.10":
 					$relname = "(Oneiric Ocelot)";
-					break;
+				break;
 				case "11.14":
 					$relname = "(Natty Narwhal)";
-					break;
+				break;
 				case "10.10":
 					$relname = "(Maverick Meerkat)";
-					break;
+				break;
 				case "10.04":
 					$relname = "(Lucid Lynx)";
-					break;
+				break;
 				case "9.10":
 					$relname = "(Karmic Koala)";
-					break;
+				break;
 				case "9.04":
 					$relname = "(Jaunty Jackpole)";
-					break;
+				break;
 				case "8.10":
-					$relname = "(Intrepid Ibex)";
-					break;
+				$relname = "(Intrepid Ibex)";
+				break;
 				case "8.04":
 					$relname = "(Hardy Heron)";
-					break;
+				break;
 				case "7.10":
 					$relname = "(Gutsy Gibbon)";
-					break;
+				break;
 				case "7.04":
 					$relname = "(Feisty Fawn)";
-					break;
+				break;
 				case "6.10":
 					$relname = "(Edgy Eft)";
-					break;
+				break;
 				case "6.06":
 					$relname = "(Dapper Drake)";
-					break;
+				break;
 				case "5.10":
 					$relname = "(Breezy Badger)";
-					break;
+				break;
 				case "5.04":
 					$relname = "(Hoary Hedgehog)";
-					break;
+				break;
 				case "4.10":
 					$relname = "(Warty Warthog)";
-					break;
+				break;
 				default:
 					$relname = "UNKNOWN";
 				}
 				$distver = $ver.$lts." ".$relname;
-				echo $distver;
+				swriteln("Operating System: ".$distver."\n");
 			} elseif(trim(file_get_contents('/etc/debian_version')) == '4.0') {
 				$distname = 'Debian';
 				$distver = '4.0';
-- 
GitLab