Just ask Khaled to add support for a $ctimems or $ctimex identifier with millisecond resolution. He's already working with 100-nanosecond resolution coming back from the Windows API for SystemTimeInfo/LocalTimeInfo clock polling. It would be trivial to make this available to mSL.

You might even convince him to add milliseconds to $asctime(), and auto-detect the presence of 'ms' to treat the input ctime as millisecond ctimex.


Well. At least I won lunch.
Good philosophy, see good in bad, I like!