Converting a time string to a more readable date, time

[Thierry Lam]

I have a python time string which has the following value:

1225137896

The above corresponds to 2008/10/27 16:04:56

What can I use to convert 1225137896 to a more readable date, time
format?
--
http://mail.python.org/mailman/listinfo/python-list