convertir una cadena de tiempo a segundos en python
Necesito convertir las cadenas de valores de tiempo dadas en el siguiente formato a segundos. Estoy usandopython2.6
p.ej:
1.'00:00:00,000' -> 0 seconds
2.'00:00:10,000' -> 10 seconds
3.'00:01:04,000' -> 64 seconds
4. '01:01:09,000' -> 3669 seconds
¿Necesito usar expresiones regulares para hacer esto? Intenté usar el módulo de tiempo, perotime.strptime('00:00:00,000','%I:%M:%S') tiró
ValueError: time data '00:00:00,000' does not match format '%I:%M:%S'
¿Alguien puede decirme cómo se puede resolver esto?
Editar:
Yo creo que
pt =datetime.datetime.strptime(timestring,'%H:%M:%S,%f')
total_seconds = pt.second+pt.minute*60+pt.hour*3600
da el valor correcto ... estaba usando el módulo incorrecto