Java script question: about GMT time

Question

Hi,
i'd like to get a GMT time. using javascript below:
function setTime(){
var a = new Date();
a = a.toGMTString();
but after output the a's value, i found it's:
Tue, 28 Aug 2001 04:11:01 UTC
the format is GMT's format, but the string shown in the end isn't GMT, but UTC. why? and how to change it to
Tue, 28 Aug 2001 04:11:01 GMT ?

Answer 1

I would guess that, at least with 1.3.1, you will have to do it yourself.
  java.util.TimeZone t = java.util.TimeZone.getTimeZone("UMT");
  System.out.println("tz=" + t.getDisplayName());
.The above displays the time zone as GMT, even though UMT was selected.
Presuming that UMT=GMT (web search revealed some conflicts and my definitive work is not available) then the following should do it.
  java.text.SimpleDateFormat f
      = new java.text.SimpleDateFormat("EEE d, MMM yyyy HH:mm:ss");
  java.util.TimeZone t = java.util.TimeZone.getTimeZone("UMT");
  if (t == null)
    throw new Exception("No UMT zone");
  System.out.println("tz=" + t.getDisplayName());
  f.setTimeZone(t);
  java.util.Date d = new java.util.Date();
  System.out.println("d=" + f.format(d) + " UMT");