mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Fix #4885: jsdomain also crashed with duplicated objects
This commit is contained in:
parent
7a13a5996b
commit
d2ed2d4c4c
2
CHANGES
2
CHANGES
@ -16,7 +16,7 @@ Features added
|
||||
Bugs fixed
|
||||
----------
|
||||
|
||||
* #4885, #4887: py domain: Crashed with duplicated objects
|
||||
* #4885, #4887: domains: Crashed with duplicated objects
|
||||
|
||||
Testing
|
||||
--------
|
||||
|
@ -262,7 +262,7 @@ class JSModule(Directive):
|
||||
if mod_name in modules:
|
||||
self.state_machine.reporter.warning(
|
||||
'duplicate module description of %s, ' % mod_name +
|
||||
'other instance in ' + self.env.doc2path(modules[mod_name]),
|
||||
'other instance in ' + env.doc2path(modules[mod_name]),
|
||||
line=self.lineno)
|
||||
env.domaindata['js']['modules'][mod_name] = env.docname
|
||||
# Make a duplicate entry in 'objects' to facilitate searching for
|
||||
|
Loading…
Reference in New Issue
Block a user