equal
deleted
inserted
replaced
950 try: |
950 try: |
951 return os.fstat(fp.fileno()) |
951 return os.fstat(fp.fileno()) |
952 except AttributeError: |
952 except AttributeError: |
953 return os.stat(fp.name) |
953 return os.stat(fp.name) |
954 |
954 |
|
955 def statmtimesec(st): |
|
956 return int(st.st_mtime) |
|
957 |
955 # File system features |
958 # File system features |
956 |
959 |
957 def checkcase(path): |
960 def checkcase(path): |
958 """ |
961 """ |
959 Return true if the given path is on a case-sensitive filesystem |
962 Return true if the given path is on a case-sensitive filesystem |