The variable "thetime" is currently in GPS seconds and
it is used to set the hardware clock on the computer in
DOS. The issue is that this time does not include the
leap seconds difference between GPS time and UTC time.
The current leap seconds difference sent and decoded in
the data message, but I don't think it currently being
The hardware clock on the computer should be set with
the leap seconds taken into account, rather that just
using the GPS time.