| # | Line 32 | Line 32 | include("alerts_config.inc.php"); | |
|---|---|---|
| 32 | ||
| 33 | include("iutils.inc.php"); | |
| 34 | ||
| 35 | + | if ($formMethod == "GET") { |
| 36 | + | # in order of public.php |
| 37 | + | $machine = $_GET['machine']; |
| 38 | + | $fontsize = $_GET['fontsize']; |
| 39 | + | $refresh = $_GET['refresh']; |
| 40 | + | $hideform = $_GET['hideform']; |
| 41 | + | $pagewidth = $_GET['pagewidth']; |
| 42 | + | $small = $_GET['small']; |
| 43 | + | $submit = $_GET['submit']; |
| 44 | + | } |
| 45 | + | |
| 46 | function printLine($title) { | |
| 47 | echo "<hr style=\"color:#9999ff;\">"; | |
| 48 | echo "<b>$title</b>"; | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |