From 07ef63fb6a0fb996d5f56c79f4ccd7a1887a6b2b Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Thu, 25 Jan 2024 09:38:43 -0500 Subject: Doc/library/sys.monitoring.rst: remove contradictory paragraph. (GH-113619) --- Doc/library/sys.monitoring.rst | 3 --- 1 file changed, 3 deletions(-) diff --git a/Doc/library/sys.monitoring.rst b/Doc/library/sys.monitoring.rst index 762581b..4980227 100644 --- a/Doc/library/sys.monitoring.rst +++ b/Doc/library/sys.monitoring.rst @@ -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 ------ -- cgit v0.12