/usr/share/pyshared/reformat/pgtime.py is in pgloader 2.3.3~dev3-1.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | # Author: Dimitri Fontaine <dim@tapoueh.org>
#
# pgloader time-related reformating module
#
def time(reject, input):
""" Reformat str as a PostgreSQL time
Input time like: 08231560
We want instead this input: 08:23:15.60
"""
if len(input) != 8:
e = "time reformat input too short: %s" % input
reject.log(e, input)
hour = input[0:2]
minute = input[2:4]
seconds = input[4:6]
hundredths = input[6:8]
return '%s:%s:%s.%s' % (hour, minute, seconds, hundredths)
|