mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Add a clarifying comment about modification time adjustment
GitOrigin-RevId: e1227bc817aec4bfb4f420b7b763c7c6d0b07f06
This commit is contained in:
committed by
intellij-monorepo-bot
parent
f098cb174e
commit
4c80b749c7
@@ -463,6 +463,8 @@ def read_legacy_blacklist_file(sdk_skeletons_dir):
|
||||
|
||||
m = BLACKLIST_VERSION_LINE.match(line)
|
||||
if m:
|
||||
# On Java side modification time stored in milliseconds.
|
||||
# Python API uses seconds for resolution in os.stat results.
|
||||
results[m.group('path')] = (version_to_tuple(m.group('version')), int(m.group('mtime')) / 1000)
|
||||
return results
|
||||
|
||||
|
||||
Reference in New Issue
Block a user