diff options
Diffstat (limited to 'usr/local/www/diag_ping.php')
| -rwxr-xr-x | usr/local/www/diag_ping.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/local/www/diag_ping.php b/usr/local/www/diag_ping.php index e07f593..a5b0817 100755 --- a/usr/local/www/diag_ping.php +++ b/usr/local/www/diag_ping.php @@ -136,6 +136,7 @@ include("head.inc"); ?> <tr> <td valign="top" colspan="2"> <? if ($do_ping) { + echo "<font face='terminal' size='2'>"; echo("<strong>Ping output:</strong><br>"); echo('<pre>'); ob_end_flush(); |
