I logged the X server time and js time at the same time. I got these values:
"gdk_x11_get_server_time()": 4413960
"js time-new Date().getTime():" 1425529054961
Is there anyway I can make the x server time from javascript? (so in above im trying to get the 4413960
from js) without the need to tap into ctypes or something and use gdk_x11_get_server_time ()
?
Thanks
Here are some time dumps from x11 and then from js, with the js time toLocaleString at start. it shows them spaced out at 10s for 0, 10, and 20s.
"time now is:" "10:26:39 PM" "gdk_x11_get_server_time:" 173753 "new Date().getTime():" 1425536800642
"time now is:" "10:26:50 PM" "gdk_x11_get_server_time:" 183757 "new Date().getTime():" 1425536810644
"time now is:" "10:27:00 PM" "gdk_x11_get_server_time:" 193758 "new Date().getTime():" 1425536820644
more data:
study set gdk time js time js to string gdk time diff js time diff stamp diff (s)
a 173753 1425536800642 10:26:39 PM
a 183757 1425536810644 10:26:50 PM 10004 10002 11
a 193758 1425536820644 10:27:00 PM 10001 10000 10
b 771689 1425537398575 10:36:38 PM
b 771690 1425537398576 10:36:38 PM 1 1 00
b 781690 1425537408576 10:36:48 PM 10000 10000 10
b 791690 1425537418576 10:36:58 PM 10000 10000 10
b 801690 1425537428576 10:37:08 PM 10000 10000 10
b 811690 1425537438576 10:37:18 PM 10000 10000 10
b 821690 1425537448576 10:37:28 PM 10000 10000 10
b 831691 1425537458577 10:37:38 PM 10001 10001 10
b 841691 1425537468578 10:37:48 PM 10000 10001 10
b 851691 1425537478577 10:37:58 PM 10000 9999 10