manipulating movie files with Python

[Tim Grove]

I would like to write a python script which could take a movie file name 
(avi, mov, mpg) along with a start and stop time as parameters, and 
return to me a  new movie file just containing that section of the 
original which I'm interested in. Is there a Python library which could 
already perform such magic? Thanks for any suggestions.

Best regards,
Tim
--
http://mail.python.org/mailman/listinfo/python-list