mIRC Home    About    Download    Register    News    Help

Print Thread
Joined: Dec 2008
Posts: 1,515
westor Offline OP
Hoopy frood
OP Offline
Hoopy frood
Joined: Dec 2008
Posts: 1,515
Hello,

I wanna suggest to add an ability to display the milliseconds in the $time() $date() $asctime() $gmt() $timestampfmt identifiers, it's missing from the mIRC Scripting Language (as Python has 'ff' as supported format for this) and there is not any way to retrieve the milliseconds.

f/ff/fff = It will return the milliseconds.

e.g:

$date($ctime,HH:mm:ss.f) = 20:03:05.1

$date($ctime,HH:mm:ss.ff) = 20:03:05.12

$date($ctime,HH:mm:ss.fff) = 20:03:05.120

- Thanks!

Last edited by westor; 10/03/16 06:42 PM.

Need Online mIRC help or an mIRC Scripting Freelancer? -> https://irc.chathub.org <-
Joined: Aug 2003
Posts: 319
P
Pan-dimensional mouse
Offline
Pan-dimensional mouse
P
Joined: Aug 2003
Posts: 319
+1 from me

Though might need $ctimems to ensure backward compatibility with existing uses of $ctime which expect an integer.

Also add $timestamp $logtimestamp to the list to be supported (though I guess this is implied).

Last edited by Protopia; 02/09/17 07:59 AM.

Link Copied to Clipboard