]> git.ipfire.org Git - thirdparty/Python/cpython.git/commitdiff
Doc/library/sys.monitoring.rst: remove contradictory paragraph. (GH-113619)
authorNed Batchelder <ned@nedbatchelder.com>
Thu, 25 Jan 2024 14:38:43 +0000 (09:38 -0500)
committerGitHub <noreply@github.com>
Thu, 25 Jan 2024 14:38:43 +0000 (14:38 +0000)
Doc/library/sys.monitoring.rst

index 762581b7eda7f1d7cad5f5bd1bf7a1fc667f4404..4980227c60b21e32e5babf9ef47e418f5d09a1a4 100644 (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
 ------