Copying files in Python

[Russell Lear]

A simple question from a python beginner: How do I do 'cp -p source
destination' where source could be a list of files and destination could be
a file or directory (I could break the operation up if it must be file to
file)?  Perserving file creation time is important.  Platform independence
also nice.

Clearly I could open the source file for reading and a destination file for
writing and copy the bits over, but that might not preserve the file
creation time.

Right now I'm running Python 2.2.2 on SuSE Linux 8.2

I'll probably find the answer to this 30 minutes after posting this (isn't
that always the way?) but any help would be appreciated.

Thanks,
Russell.