make grammar loading more deterministic
This commit is contained in:
@@ -657,7 +657,7 @@ class Grammars:
|
|||||||
os.path.splitext(filename)[0]: os.path.join(directory, filename)
|
os.path.splitext(filename)[0]: os.path.join(directory, filename)
|
||||||
for directory in directories
|
for directory in directories
|
||||||
if os.path.exists(directory)
|
if os.path.exists(directory)
|
||||||
for filename in os.listdir(directory)
|
for filename in sorted(os.listdir(directory))
|
||||||
if filename.endswith('.json')
|
if filename.endswith('.json')
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user