@@ -9,6 +9,7 @@ if (substr($ip, 0, 7) == "128.176") placeBox(-135, 1190, "WWU Muenster network",
$PSmode = $adeiValue[32][0];
$MSmode = $adeiValue[33][0];
+
$tol = 0.5;
$local = false;