| changeset 77 | 2a53c5ade434 |
| parent 56 | 80658a2eebf6 |
| child 81 | 2b0b76cd8ba0 |
| 76:e22d9f699081 | 77:2a53c5ade434 |
|---|---|
26 def filetime (ts) : |
26 def filetime (ts) : |
27 """ |
27 """ |
28 Returns a human-readable string describing the given file timestamp |
28 Returns a human-readable string describing the given file timestamp |
29 """ |
29 """ |
30 |
30 |
31 return datetime.fromtimestamp(ts).strftime("%Y-%m-%d %H:%M:%S") |
31 return datetime.datetime.fromtimestamp(ts).strftime("%Y-%m-%d %H:%M:%S") |
32 |
32 |