| 20 |
|
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. |
| 21 |
|
# |
| 22 |
|
|
| 23 |
– |
# Navigation for the i-scream alerts. |
| 24 |
– |
# pjm2@ukc.ac.uk |
| 25 |
– |
# |
| 23 |
|
# CONFIGURABLE CONSTANTS: - |
| 24 |
|
|
| 25 |
|
include("alerts_config.inc.php"); |
| 31 |
|
|
| 32 |
|
if ($formMethod == "GET") { |
| 33 |
|
# in order of public.php |
| 34 |
< |
$machine = $_GET['machine']; |
| 35 |
< |
$fontsize = $_GET['fontsize']; |
| 36 |
< |
$refresh = $_GET['refresh']; |
| 37 |
< |
$hideform = $_GET['hideform']; |
| 38 |
< |
$pagewidth = $_GET['pagewidth']; |
| 42 |
< |
$small = $_GET['small']; |
| 43 |
< |
$submit = $_GET['submit']; |
| 34 |
> |
$machine = isset($_GET['machine']) ? $_GET['machine'] : ""; |
| 35 |
> |
$fontsize = isset($_GET['fontsize']) ? $_GET['fontsize'] : ""; |
| 36 |
> |
$hideform = isset($_GET['hideform']) ? $_GET['hideform'] : ""; |
| 37 |
> |
$pagewidth = isset($_GET['pagewidth']) ? $_GET['pagewidth'] : ""; |
| 38 |
> |
$small = isset($_GET['small']) ? $_GET['small'] : ""; |
| 39 |
|
} |
| 40 |
|
|
| 41 |
|
function printLine($title) { |
