Doc/library/sys.monitoring.rst: remove contradictory paragraph. (GH-113619)

This commit is contained in:
Ned Batchelder 2024-01-25 09:38:43 -05:00 committed by GitHub
parent e721adf4bd
commit 07ef63fb6a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions

View File

@ -75,9 +75,6 @@ following IDs are pre-defined to make co-operation of tools easier::
sys.monitoring.PROFILER_ID = 2
sys.monitoring.OPTIMIZER_ID = 5
There is no obligation to set an ID, nor is there anything preventing a tool
from using an ID even it is already in use.
However, tools are encouraged to use a unique ID and respect other tools.
Events
------