diff options
author | Phil Davis <phil.davis@inf.org> | 2015-08-31 22:23:15 +0545 |
---|---|---|
committer | Phil Davis <phil.davis@inf.org> | 2015-08-31 22:23:15 +0545 |
commit | 288a2a0f294f992a9536dfbb5c54dd528badbad5 (patch) | |
tree | 8d1c6be8a2cf5848f6df06b631ce2614485648fe /src/usr/local/www/diag_ping.php | |
parent | 683ba309d50913828decb5fe3f6ade059c1dfab2 (diff) | |
download | pfsense-288a2a0f294f992a9536dfbb5c54dd528badbad5.zip pfsense-288a2a0f294f992a9536dfbb5c54dd528badbad5.tar.gz |
bootstrap usr/local/www a to e minor edits
Diffstat (limited to 'src/usr/local/www/diag_ping.php')
-rw-r--r-- | src/usr/local/www/diag_ping.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/usr/local/www/diag_ping.php b/src/usr/local/www/diag_ping.php index cb4bf2e..f491b9a 100644 --- a/src/usr/local/www/diag_ping.php +++ b/src/usr/local/www/diag_ping.php @@ -121,7 +121,7 @@ if (!isset($do_ping)) { $count = DEFAULT_COUNT; } -if($do_ping) { +if ($do_ping) { ?> <script type="text/javascript"> //<![CDATA[ @@ -152,7 +152,7 @@ if($do_ping) { //echo "Ping command: {$cmd}\n"; $result = shell_exec($cmd); - if(empty($result)) + if (empty($result)) $input_errors[] = "Host \"" . $host . "\" did not respond or could not be resolved."; } @@ -211,7 +211,7 @@ $section->addInput(new Form_Select( $form->add($section); print $form; -if($do_ping && !empty($result) && !$input_errors) { +if ($do_ping && !empty($result) && !$input_errors) { ?> <div class="panel panel-default"> <div class="panel-heading"> |