You can use time-now()
to return the value of JS’s new Date().getTime(),
i.e. the current elapsed milliseconds since January 1, 1970 at
0:00:00 UTC with millisecond resolution. This function isn’t
currently documented, since it’s not currently really
supported (we haven’t really decided how we want to expose
DateTime information yet, but we needed something for our own
benchmarks…), but you can use it.
--
You received this message because you are subscribed to the Google Groups "Pyret Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pyret-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pyret-discuss/31f4ad08-14b1-402d-8639-a752451cfd4cn%40googlegroups.com.