Singapore time zone

We seem to be having a time zone problem on a box configured for Singapore timezone. The OS is Suse10.2 PostgreSQL version is 8.1.5.

This simple PHP file prints   2008-05-21 23:04:24SGT

<?php

$d = date('Y-m-d H:i:sT', time());

print $d;

?>

Testing that timestamp string in PostgreSQL fails. It works ok with the other time zone.

host=> SELECT CAST('2008-05-21 23:04:24SST' AS TIMESTAMP WITH TIME ZONE);

      timestamptz      

------------------------

 2008-05-22 05:04:24+08

(1 row)

host=> SELECT CAST('2008-05-21 23:04:24SGT' AS TIMESTAMP WITH TIME ZONE); 

ERROR:  invalid input syntax for type timestamp with time zone: "2008-05-21 23:04:24 SGT"

Is this something that’s been fixed in a later version or is it some other issue?

Thanks.