Diff: web-this/home/web-home-script.inc

Revision:

60:7cab896b0fd4

Parent:

59:d2d25c2265f8

Child:

87:5052e316994a

--- a/web-this/home/web-home-script.inc	Wed May 01 10:14:26 2019 +0000
+++ b/web-this/home/web-home-script.inc	Wed May 01 14:08:56 2019 +0000
@@ -1,214 +1,92 @@
+"//Home script\n"
 "'use strict';\n"
 "\n"
-"var response        = '';\n"
-"var headers         = '';\n"
-"var msRtc           = 0;     //nibbles 0 to 3: 16 bits\n"
-"var msCountAtRtcSet = 0;\n"
-"var msDiff          = 0;\n"
-"var rtcIsSet        = false; //nibble  4: bit 0\n"
-"var clockIsSet      = false; //nibble  4: bit 1\n"
-"var ppsStable       = false; //nibble  4: bit 2\n"
-"var nmeaStable      = false; //nibble  4: bit 3\n"
-"var rateIsLocked    = false; //nibble  5: bit 0\n"
-"var timeIsLocked    = false; //nibble  5: bit 1\n"
-"var leapEnable      = false; //nibble  5: bit 2\n"
-"var leapForward     = false; //nibble  5: bit 3\n"
-"var leapmonths1970  = 0;     //nibbles 6 to 8: 12 bits\n"
-"var leapmonth       = 0;\n"
-"var leapyear        = 0;\n"
-"var leaps           = 0;     //nibbles 9 to 12: 16 bits\n"
-"var msCount         = 0;\n"
+"let pseudo          = new Clock();\n"
+"let rtc             = new Clock();\n"
+"\n"
+"let pseudoDisplay   = false;\n"
+"let pseudoStartMs   = 0;\n"
+"\n"
+"let diffMs          = 0;\n"
 "\n"
-"const         TICK_MS =   100;\n"
-"const AJAX_REFRESH_MS = 10000;\n"
-"const   AJAX_QUIET_MS =  3000;\n"
+"let rtcIsSet        = false;\n"
+"let clockIsSet      = false;\n"
+"let ppsStable       = false;\n"
+"let nmeaStable      = false;\n"
+"let rateIsLocked    = false;\n"
+"let timeIsLocked    = false;\n"
 "\n"
-"function hexToBit(iChar, iBit)\n"
-"{\n"
-"   var value = parseInt(response.charAt(iChar), 16);\n"
-"   value >>= iBit;\n"
-"   return value & 1;\n"
-"}\n"
-"function parseAjax()\n"
+"const DISPLAY_LEAP_MS = 10000;\n"
+"\n"
+"function parse()\n"
 "{\n"
-"   var iDateStart  = headers.toLowerCase().indexOf('date:');\n"
-"   var iDateEnd    = headers.indexOf('\\r', iDateStart);\n"
-"   var rtcDate     = new Date(headers.slice(iDateStart + 5, iDateEnd));\n"
-"   msRtc           = parseInt(response.substr(0, 4), 16);\n"
-"   msRtc          += rtcDate.getTime();\n"
-"   msDiff          = msRtc - Date.now();\n"
-"   msCountAtRtcSet = msCount;\n"
-"   rtcIsSet        = hexToBit(4, 0);\n"
-"   clockIsSet      = hexToBit(4, 1);\n"
-"   ppsStable       = hexToBit(4, 2);\n"
-"   nmeaStable      = hexToBit(4, 3);\n"
-"   rateIsLocked    = hexToBit(5, 0);\n"
-"   timeIsLocked    = hexToBit(5, 1);\n"
-"   leapEnable      = hexToBit(5, 2);\n"
-"   leapForward     = hexToBit(5, 3);\n"
-"   leapmonths1970  = parseInt(response.substr(6, 3), 16);\n"
-"   leapmonth       =  leapmonths1970              % 12;\n"
-"   leapyear        = (leapmonths1970 - leapmonth) / 12;\n"
-"   leapmonth      += 1;\n"
-"   leapyear       += 1970;\n"
-"   leaps           = parseInt(response.substr(9, 4), 16);\n"
+"    let lines = Ajax.response.split('\\n');\n"
+"    rtc.ms          = Ajax.date.getTime();\n"
+"    rtc.ms         += parseInt(lines[0], 16);\n"
+"    rtc.ms         -= Ajax.ms;\n"
+"    diffMs          = rtc.ms + Ajax.ms - Date.now();\n"
+"    rtcIsSet        = Ajax.hexToBit(lines[1], 0);\n"
+"    clockIsSet      = Ajax.hexToBit(lines[1], 1);\n"
+"    ppsStable       = Ajax.hexToBit(lines[1], 2);\n"
+"    nmeaStable      = Ajax.hexToBit(lines[1], 3);\n"
+"    rateIsLocked    = Ajax.hexToBit(lines[1], 4);\n"
+"    timeIsLocked    = Ajax.hexToBit(lines[1], 5);\n"
+"    rtc.leapEnable  = Ajax.hexToBit(lines[1], 6);\n"
+"    rtc.leapForward = Ajax.hexToBit(lines[1], 7);\n"
+"    rtc.months1970  = parseInt(lines[2], 16);\n"
+"    rtc.leaps       = parseInt(lines[3], 16);\n"
 "}\n"
-"function displayGeneral()\n"
+"function display()\n"
 "{\n"
-"   var elem;\n"
-"   elem = document.getElementById('ajax-rtc-set'      ); if (elem) elem.setAttribute('dir', rtcIsSet     ? 'rtl' : 'ltr');\n"
-"   elem = document.getElementById('ajax-clock-set'    ); if (elem) elem.setAttribute('dir', clockIsSet   ? 'rtl' : 'ltr');\n"
-"   elem = document.getElementById('ajax-pps-stable'   ); if (elem) elem.setAttribute('dir', ppsStable    ? 'rtl' : 'ltr');\n"
-"   elem = document.getElementById('ajax-nmea-stable'  ); if (elem) elem.setAttribute('dir', nmeaStable   ? 'rtl' : 'ltr');\n"
-"   elem = document.getElementById('ajax-rate-locked'  ); if (elem) elem.setAttribute('dir', rateIsLocked ? 'rtl' : 'ltr');\n"
-"   elem = document.getElementById('ajax-time-locked'  ); if (elem) elem.setAttribute('dir', timeIsLocked ? 'rtl' : 'ltr');\n"
-"\n"
-"   elem = document.getElementById('ajax-leap-enable'  ); if (elem) elem.setAttribute('dir', leapEnable   ? 'rtl' : 'ltr');\n"
-"   elem = document.getElementById('ajax-leap-forward' ); if (elem) elem.setAttribute('dir', leapForward  ? 'rtl' : 'ltr');\n"
-"\n"
-"   elem = document.getElementById('ajax-leap-year'    ); if (elem) elem.value = leapmonths1970 ? leapyear  : '';\n"
-"   elem = document.getElementById('ajax-leap-month'   ); if (elem) elem.value = leapmonths1970 ? leapmonth : '';\n"
-"\n"
-"   elem = document.getElementById('ajax-leap-count'   ); if (elem) elem.value = leaps;\n"
-"\n"
-"   elem = document.getElementById('ajax-response'     ); if (elem) elem.innerHTML  = response;\n"
-"   elem = document.getElementById('ajax-headers'      ); if (elem) elem.innerHTML  = headers;\n"
-"   \n"
-"   elem = document.getElementById('date-diff'         ); if (elem) elem.innerHTML = msDiff;\n"
+"    let elem;\n"
+"    elem = Ajax.getElementOrNull('ajax-rtc-set'      ); if (elem) elem.setAttribute('dir', rtcIsSet     ? 'rtl' : 'ltr');\n"
+"    elem = Ajax.getElementOrNull('ajax-clock-set'    ); if (elem) elem.setAttribute('dir', clockIsSet   ? 'rtl' : 'ltr');\n"
+"    elem = Ajax.getElementOrNull('ajax-pps-stable'   ); if (elem) elem.setAttribute('dir', ppsStable    ? 'rtl' : 'ltr');\n"
+"    elem = Ajax.getElementOrNull('ajax-nmea-stable'  ); if (elem) elem.setAttribute('dir', nmeaStable   ? 'rtl' : 'ltr');\n"
+"    elem = Ajax.getElementOrNull('ajax-rate-locked'  ); if (elem) elem.setAttribute('dir', rateIsLocked ? 'rtl' : 'ltr');\n"
+"    elem = Ajax.getElementOrNull('ajax-time-locked'  ); if (elem) elem.setAttribute('dir', timeIsLocked ? 'rtl' : 'ltr');\n"
+"    \n"
+"    elem = Ajax.getElementOrNull('ajax-leap-enable'  ); if (elem) elem.setAttribute('dir', rtc.leapEnable   ? 'rtl' : 'ltr');\n"
+"    elem = Ajax.getElementOrNull('ajax-leap-forward' ); if (elem) elem.setAttribute('dir', rtc.leapForward  ? 'rtl' : 'ltr');\n"
+"    \n"
+"    elem = Ajax.getElementOrNull('ajax-leap-year'    ); if (elem) elem.value = rtc.months1970 ? rtc.leapYear  : '';\n"
+"    elem = Ajax.getElementOrNull('ajax-leap-month'   ); if (elem) elem.value = rtc.months1970 ? rtc.leapMonth : '';\n"
+"    \n"
+"    elem = Ajax.getElementOrNull('ajax-leap-count'   ); if (elem) elem.value = rtc.leaps;\n"
+"    \n"
+"    elem = Ajax.getElementOrNull('ajax-date-diff'    ); if (elem) elem.textContent = diffMs;\n"
 "}\n"
 "\n"
-"function formatNumbers00(i)\n"
-"{\n"
-"   if (i<10) i='0' + i;\n"
-"   return i;\n"
-"}\n"
-"function formatDayOfWeek(wday)\n"
-"{\n"
-"    switch(wday)\n"
-"    {\n"
-"        case  0: return 'Sun';\n"
-"        case  1: return 'Mon';\n"
-"        case  2: return 'Tue';\n"
-"        case  3: return 'Wed';\n"
-"        case  4: return 'Thu';\n"
-"        case  5: return 'Fri';\n"
-"        case  6: return 'Sat';\n"
-"        default: return '---';\n"
-"    }\n"
-"}\n"
-"function adjustLeap()\n"
-"{\n"
-"    if (msRtc == 0) return; //Don't attempt to adjust an invalid time\n"
-"    \n"
-"    if (!leapEnable) return; // Adjustment disabled\n"
-"    \n"
-"    //Get the calander date and time from the ms\n"
-"    var now       = msCount - msCountAtRtcSet + msRtc;\n"
-"    var leapStart = Date.UTC(leapyear, leapmonth - 1, 1, 0, 0, leapForward ? 0: -1);\n"
-"    \n"
-"    if (now < leapStart) return; //Do nothing until reached the leap start\n"
-"    \n"
-"    if (leapForward) { msRtc -= 1000; leaps += 1; } //repeat 59\n"
-"    else             { msRtc += 1000; leaps -= 1; } //skip   59\n"
-"    \n"
-"    leapEnable = false;\n"
-"}\n"
-"function displayTime()\n"
+"function handleTick() //This typically called every 100ms\n"
 "{\n"
-"    if (msRtc == 0) return; //Don't attempt to display an invalid time\n"
-"    \n"
-"    //Get the calander date and time from the ms\n"
-"    var  now = new Date(msCount - msCountAtRtcSet + msRtc);\n"
-"    var    y = now.getUTCFullYear();\n"
-"    var    n = now.getUTCMonth   () + 1;\n"
-"    var    d = now.getUTCDate    ();\n"
-"    var    w = now.getUTCDay     (); // 0 == Sunday\n"
-"    var    h = now.getUTCHours   ();\n"
-"    var    m = now.getUTCMinutes ();\n"
-"    var    s = now.getUTCSeconds ();\n"
-"    \n"
-"    //Format time\n"
-"    n = formatNumbers00(n);\n"
-"    d = formatNumbers00(d);\n"
-"    h = formatNumbers00(h);\n"
-"    m = formatNumbers00(m);\n"
-"    s = formatNumbers00(s);\n"
-"    w = formatDayOfWeek(w);\n"
-"    \n"
-"    //Display time\n"
-"    var elem;\n"
-"        \n"
-"    elem = document.getElementById('date-utc');\n"
-"    if (elem) elem.innerHTML = y + '-' + n + '-' + d + ' ' + w + ' ' + h + ':' + m + ':' + s + ' TAI-UTC=' + leaps;\n"
-"\n"
-"    elem = document.getElementById('date-pc');\n"
-"    //if (elem) elem.innerHTML = now.toString();\n"
-"    var options = \n"
+"    if (pseudoDisplay)\n"
 "    {\n"
-"        year:         'numeric',\n"
-"        month:        'short',\n"
-"        day:          '2-digit',\n"
-"        weekday:      'short',\n"
-"        hour:         '2-digit',\n"
-"        minute:       '2-digit',\n"
-"        second:       '2-digit',\n"
-"        timeZoneName: 'short'\n"
-"    };\n"
-"    if (elem) elem.innerHTML = now.toLocaleString(undefined, options);\n"
-"}\n"
-"\n"
-"var ajax;\n"
-"var msCountAtAjaxSend = 0;\n"
-"function AjaxRequest(request) //Used by this script and from HTML page\n"
-"{\n"
-"   ajax=new XMLHttpRequest();\n"
-"   ajax.onreadystatechange=handleAjaxResponse;\n"
-"   if (request) ajax.open('GET', '/home-ajax' + '?' + request, true);\n"
-"   else         ajax.open('GET', '/home-ajax'                , true);\n"
-"   ajax.send();\n"
-"}\n"
-"function requestAjax() //Used in this script\n"
-"{\n"
-"   \n"
-"   AjaxRequest('');\n"
-"   msCountAtAjaxSend = msCount;\n"
-"}\n"
-"\n"
-"function counter()\n"
-"{\n"
-"    msCount += TICK_MS; //Don't use Date.now() as we don't know when its clock will be updated around a leap second\n"
-"    adjustLeap();\n"
-"    displayTime();\n"
-"    if (msCount >= msCountAtRtcSet + AJAX_REFRESH_MS && //Wait until time to refresh\n"
-"        msCount >= msCountAtAjaxSend + AJAX_QUIET_MS) //Don't repeat during quiet period\n"
+"        pseudo.adjustLeap (Ajax.ms);\n"
+"        pseudo.displayTime(Ajax.ms);\n"
+"        if (Ajax.ms >= pseudoStartMs + DISPLAY_LEAP_MS + 500) pseudoDisplay = false;\n"
+"    }\n"
+"    else\n"
 "    {\n"
-"        requestAjax(); //RequestAjax will set msRtc and reset msCount\n"
+"        rtc.adjustLeap (Ajax.ms);\n"
+"        rtc.displayTime(Ajax.ms);\n"
 "    }\n"
 "}\n"
 "\n"
-"function handleAjaxResponse()\n"
-"{\n"
-"   if (ajax.readyState==4 && ajax.status==200)\n"
-"   {\n"
-"       response = ajax.responseText;\n"
-"       headers  = ajax.getAllResponseHeaders();\n"
-"       parseAjax();\n"
-"       displayGeneral();\n"
-"   }\n"
-"}\n"
-"\n"
-"function DisplayLeap() //Called by display leap button in HTML\n"
+"function displayLeap() //Called by display leap button in HTML\n"
 "{\n"
-"   leapEnable      = true;\n"
-"   msRtc           = Date.UTC(leapyear, leapmonth - 1, 1) - AJAX_REFRESH_MS / 2; //displays the refresh period around the latest leap second\n"
-"   msCountAtRtcSet = msCount;\n"
+"   pseudoDisplay = true;\n"
+"   pseudoStartMs = Ajax.ms;\n"
+"   \n"
+"   pseudo.leapEnable  = true;\n"
+"   pseudo.leapForward = rtc.leapForward;\n"
+"   pseudo.leaps       = rtc.leaps;\n"
+"   pseudo.leapMonth   = rtc.leapMonth;\n"
+"   pseudo.leapYear    = rtc.leapYear;\n"
+"   pseudo.ms          = Date.UTC(rtc.leapYear, rtc.leapMonth - 1, 1) - DISPLAY_LEAP_MS / 2 - Ajax.ms;\n"
 "}\n"
+"Ajax.server     = '/home-ajax';\n"
+"Ajax.onResponse = function() { parse(); display(); };\n"
+"Ajax.onTick     = handleTick;\n"
+"Ajax.init();\n"
 "\n"
-"function init()\n"
-"{\n"
-"    setInterval(counter, TICK_MS);\n"
-"    requestAjax();\n"
-"}\n"
-"if (document.readyState === 'loading') document.addEventListener('DOMContentLoaded', init ); // Loading hasn't finished yet\n"
-"else                                                                                 init(); //`DOMContentLoaded` has already fired\n"
 ""
\ No newline at end of file