diff options
Diffstat (limited to 'usr/local/www/diag_ping.php')
-rwxr-xr-x | usr/local/www/diag_ping.php | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/usr/local/www/diag_ping.php b/usr/local/www/diag_ping.php index df449b0..b3b9313 100755 --- a/usr/local/www/diag_ping.php +++ b/usr/local/www/diag_ping.php @@ -62,14 +62,11 @@ if (!isset($do_ping)) { $host = ''; $count = DEFAULT_COUNT; } + +$pgtitle = "Diagnostics: Ping"; +include("head.inc"); + ?> -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> -<html> -<head> -<title><?=gentitle("Diagnostics: Ping");?></title> -<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> -<link href="gui.css" rel="stylesheet" type="text/css"> -</head> <body link="#0000CC" vlink="#0000CC" alink="#0000CC"> <?php include("fbegin.inc"); ?> |