[Python] Ricavare data da file e arrotondarla

[simozack]

Il 14 ottobre 2009 11.15, Valerio Pachera <sirio81 a gmail.com> ha scritto:

> date="1255509162.91"
> clean=rsplit (date,".")

Prova con:

clean = date.rsplit(".")

Ma secondo me ti stai complicando la vita. Se lo scopo è quello di
manipolare le date, perché non utilizzare il modulo datetime? Ed in
particolare datetime.datetime per creare la data oppure
datetime.strftime() per crearla da stringa e datetime.timedelta per
aggiungere/togliere giorni, mesi, minuti, secondi, millisecondi, ecc.

Ciao,
Simone