|
|
@@ -339,7 +339,7 @@ if ((substr($ip, 0, 13) == "141.52.12.158") | (substr($ip, 0, 13) == "141.52.12.
|
|
|
}
|
|
|
}
|
|
|
|
|
|
- if (($id == 2) & ($pp = 0)) pic = "tmp";
|
|
|
+ if (($id == 2) & ($pp == 0)) pic = "tmp";
|
|
|
|
|
|
placePicWithLink(410 + $pp * 100, 1528 + $id * 35, $pic . ".png", 30, "status turbo-molecular pump TMP" . ($pp + 2) . ($id + 4) . "20 green: on, yellow: on but isolated, red: off, grey: undefined", $adeiChannel[$pp + 7][$id + 1]);
|
|
|
placeTextWithLink(439 + $pp * 100, 1518 + $id * 35, $text, 50, 4, "#000000", "rotational speed [Hz] turbo-molecular pump TMP" . ($pp + 2) . ($id + 4) . "20", $adeiChannel[$pp + 7][$id + 1]);
|
