1 <!-- Pick off begin time as a cgi argument and print it out -->
4 <!-- call this with an arg, e.g. file://foo/startup-test.html?begin=12345678 -->
6 <!-- In-line this to avoid compilation. -->
8 var now = (new Date()).getTime();
9 var begin = document.location.search.split('=')[1]; // ?begin=nnnnn
10 var startupTime = now - begin;
11 document.write('\n\nStartup time = ' + startupTime + ' ms<br>');
13 dump('\n\n__startuptime,' + startupTime + '\n\n');