Time functions

[Marc 'BlackJack' Rintsch]

In <1178125256.640115.26480 at o5g2000hsb.googlegroups.com>, HMS Surprise
wrote:

> I wish to generate a datetime string that has the following format.
> '05/02/2007 12:46'. The leading zeros are required.
> 
> I found '14.2 time' in the library reference and have pulled in
> localtime. Are there any formatting functions available or do I need
> to make my own? Perhaps there is something similar to C's printf
> formatting.

You mean like `time.strftime()`!?  :-)

Ciao,
	Marc 'BlackJack' Rintsch