debug(): format timestamps with 3 digits, e.g. 0.1 -> 0.100
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 19 Dec 2013 13:29:29 +0000 (13:29 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 19 Dec 2013 13:29:29 +0000 (13:29 +0000)
commit54b1dadf3e529bd323661138eaf255192706ef50
treeb5aab1a5b6225c01ede4baf20313e3aeb4136cf1
parentf31bd27a0d6faa4e6d33044ff6a380603e05296e
debug(): format timestamps with 3 digits, e.g. 0.1 -> 0.100
tools/htdocs/mkws.js