# HG changeset patch # User David Barts # Date 1629902693 25200 # Node ID a725bd48bc0b81638e958e92e27d9679eb0ec924 # Parent 45be2d1d3213f728b057fbedfa4e148864a419cb Time stamp all waypoints. diff -r 45be2d1d3213 -r a725bd48bc0b MakeWaypoints.kt --- a/MakeWaypoints.kt Wed Aug 25 06:33:31 2021 -0700 +++ b/MakeWaypoints.kt Wed Aug 25 07:44:53 2021 -0700 @@ -5,9 +5,15 @@ import javax.xml.stream.* import java.io.FileOutputStream +import java.text.SimpleDateFormat +import java.util.Date +import java.util.TimeZone private const val MYNAME = "MakeWaypoints" private const val CHARSET = "UTF-8" +private val WP_TIME_FORMAT = SimpleDateFormat("yyyy-MM-dd'T'HH:mm:ss'Z'").apply { + timeZone = TimeZone.getTimeZone("GMT") +} fun main(args: Array): Unit { if (args.size != 1) { @@ -56,6 +62,9 @@ writeStartElement("wpt") writeAttribute("lat", lat) writeAttribute("lon", long) + writeStartElement("time") + writeCharacters(WP_TIME_FORMAT.format(Date())) + writeEndElement() writeStartElement("name") writeCharacters(name) writeEndElement()