From f1029be65be6ffdc766352b0290bff001c00cfd6 Mon Sep 17 00:00:00 2001
From: Robert Langhammer <rlanghammer@web.de>
Date: Mon, 26 Oct 2020 20:49:08 +0100
Subject: [PATCH] Use new variable instead of $_GET['ip']

Signed-off-by: Robert Langhammer <rlanghammer@web.de>
---
 index.php | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/index.php b/index.php
index d7dc174..2fe9874 100644
--- a/index.php
+++ b/index.php
@@ -125,14 +125,15 @@
 			echo "</table>";
 
 			if($_GET['ip'] != '') {
-				if ( preg_match("#/#", $_GET['ip']) == 0) {
-					if ( preg_match("#:#", $_GET['ip']) == 0) {
-						$_GET['ip'] = $_GET['ip'] . "/32";
+				$ipaddr = $_GET['ip'];
+				if ( preg_match("#/#", $ipaddr) == 0) {
+					if ( preg_match("#:#", $ipaddr) == 0) {
+						$ipaddr = $ipaddr . "/32";
 					} else {
-						$_GET['ip'] = $_GET['ip'] . "/128";
+						$ipaddr = $ipaddr . "/128";
 					}
 				}
-				echo '<H2>Wege zu '.$_GET["ip"].'</H2>';
+				echo '<H2>Wege zu '.$ipaddr.'</H2>';
 				echo '<table>
 					<tr>
 						<th>target</th>
@@ -143,7 +144,7 @@
 						<th>Destination ID</th>
 					</tr>';
 				foreach($output['routes'] as $route) {
-					if ($route['target'] == $_GET['ip']) {
+					if ($route['target'] == $ipaddr) {
 						echo "<tr>";
 						foreach($route as $temp) { echo "<td>$temp</td>"; }
 						echo "</tr>";