×
The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.
 
In discussions here it was said that 00:00:00 and 24:00:00 are exactly 
the same point in time; that is, midnight,  However the next comment was 
that they are not really the same because if you had asked Betty Boop to 
meet you today at 24:00:00 she'd be waiting for you tonight at midnight, 
not last night at midnight.  Which raised the next question:  What does 
the military do?  Do they have such a time as twenty four hundred 
hours?   Is zero hour really midnight?
What we have is a nomenclature that doesn't perfectly match our every 
day experience.  I can't find the original discussion here, but I 
believe the current compiler behaviour is based on a standard, maybe ISO 
8601?  The behaviour is this:
23.59.59 + 1 second = 00.00.00
00.00.00 - 1 second = 23.59.59
24.00.00 + 1 second = 00.00.00
Note that you cannot increment your way to either 24.00.00 but you _can_ 
increment your way to 00.00.00.  If I remember, the standard says that 
the day runs from 00.00.00 to 23.59.59, but for some obscure 
compatibility reason, 24.00.00 can be specified as a synonym for 
00.00.00 in some cases.
I'm reasonably sure that Barbara or Simon had an excellent discussion on 
the topic, and I'm ashamed that I can't locate it.
  --buck
 
As an Amazon Associate we earn from qualifying purchases.
	
 
This mailing list archive is Copyright 1997-2025 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact
[javascript protected email address].
Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.