There would appear to be a bug in your browsers JavaScript support,
please disable the JavaScript and reload this page.
Updated2.js - Version 2.1 - Peter Knaggs - pknaggs@bournemouth.ac.uk
This is a complete revamp of the updated function required due to a bug in
netscape which I have not been able to track down. Its purpose is to report
the date the HTML page was last updated. This script should be included
via a script tag in the head of the document:
...
...
Note that the early version of JavaScript provided the src attribute but
did not know how to process it. Thus we define a dummy function so they
don't complaine that the function "updated" is undefined.
The JavaScript function updated should be invoked when you wish to display
the date the file was last modified:
Last Modified:
.
The lack of spaces in the last line is necessary if the full stop is going
to appear in the correct place. This code will produce the output:
Last Modified: , , .
When run on a system that has its JavaScript support enabled, and is also
capable of supporting the src= attribute. Under all other conditions the
following is produced:
Last Modified: Unknown.
Such conditions include:
(1) JavaScript is supported but disabled.
(2) The server does not provide the lastModified header (an early server).
(3) The src= attribute is not supported (an early version of JavaScript).
(4) JavaScript is not supported.
Change History:
01-Sep-98 PjK Initial codeing and testing completed.
09-Sep-98 PjK Some browsers show this file insted of evaluating it, added
HTML at start of comment to explain this JavaScript bug to
people.
*/
function updated () {
var date = new Date( document.lastModified );
if ( date == 0 ) {
document.write("Unknown");
return;
}
var day = new Array("Sun", "Mon", "Tues", "Wednes", "Thurs", "Fri", "Satur", "Sun");
var month = new Array("January", "February", "March", "April", "May", "June",
"July", "August", "September", "October", "November", "December");
document.write( day[ date.getDay() ] + "day, " );
document.write( month[ date.getMonth() ] + " " );
document.write( date.getDate() + ", " );
var year = date.getYear();
if ( year < 100 ) { document.write( "19" ); }
document.write( year );
return;
}