diff options
author | Phil Davis <phil.davis@inf.org> | 2015-11-09 14:32:43 +0545 |
---|---|---|
committer | Phil Davis <phil.davis@inf.org> | 2015-11-09 14:32:43 +0545 |
commit | 919d91f973c4e730bd3a0999e3aeaefd3df9d61d (patch) | |
tree | 66e066b3e1632b4944959219fd5bfff3be770072 /src/usr/local/www/services_ntpd_pps.php | |
parent | d6b8120d1b3962efd4089c880f018bb736ad1a2d (diff) | |
download | pfsense-919d91f973c4e730bd3a0999e3aeaefd3df9d61d.zip pfsense-919d91f973c4e730bd3a0999e3aeaefd3df9d61d.tar.gz |
EOL whitespace and header consistency for www
Diffstat (limited to 'src/usr/local/www/services_ntpd_pps.php')
-rw-r--r-- | src/usr/local/www/services_ntpd_pps.php | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/usr/local/www/services_ntpd_pps.php b/src/usr/local/www/services_ntpd_pps.php index f825324..0fdb161 100644 --- a/src/usr/local/www/services_ntpd_pps.php +++ b/src/usr/local/www/services_ntpd_pps.php @@ -1,5 +1,4 @@ <?php -/* $Id$ */ /* services_ntpd_pps.php */ @@ -143,7 +142,7 @@ include("head.inc"); if ($input_errors) print_input_errors($input_errors); - + if ($savemsg) print_info_box($savemsg, 'success'); @@ -155,16 +154,16 @@ display_top_tabs($tab_array); require_once('classes/Form.class.php'); -$form = new Form; +$form = new Form; $section = new Form_Section('NTP Serial PPS Configuration'); $section->addInput(new Form_StaticText( 'Notes', 'Devices with a Pulse Per Second output such as radios that receive a time signal from DCF77 (DE), JJY (JP), MSF (GB) or WWVB (US) may be used as a PPS reference for NTP. ' . - 'A serial GPS may also be used, but the serial GPS driver would usually be the better option. ' . + 'A serial GPS may also be used, but the serial GPS driver would usually be the better option. ' . 'A PPS signal only provides a reference to the change of a second, so at least one other source to number the seconds is required.' . '<br /><br />' . - 'At least 3 additional time sources should be configured under ' . + 'At least 3 additional time sources should be configured under ' . '<a href="services_ntpd.php">' . 'Services > NTP' . '</a>' . ' to reliably supply the time of each PPS pulse.' )); @@ -172,12 +171,12 @@ $serialports = glob("/dev/cua?[0-9]{,.[0-9]}", GLOB_BRACE); if (!empty($serialports)) { $splist = array(); - + foreach ($serialports as $port) { $shortport = substr($port,5); $splist[$shortport] = $shortport; } - + $section->addInput(new Form_Select( 'ppsport', 'Serial port', |