From e0df47f5a5829018ff21f0c5e8d216afedd2e863 Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Mon, 1 Jan 2024 06:44:36 -0500 Subject: [PATCH] Doc/library/sys.monitoring.rst: remove contradictory paragraph. We are required to call use_tool_id, otherwise a ValueError occurs: "ValueError: tool 1 is not in use." And we cannot use an ID that is already in use, or "ValueError: tool 1 is already in use" occurs, as mentioned above. This paragraph seems simply wrong. Let me know if I have misunderstood. --- 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 762581b7eda7f1..4980227c60b21e 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 ------