From: Ned Batchelder Date: Thu, 25 Jan 2024 14:38:43 +0000 (-0500) Subject: Doc/library/sys.monitoring.rst: remove contradictory paragraph. (GH-113619) X-Git-Tag: v3.13.0a4~335 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=07ef63fb6a0fb996d5f56c79f4ccd7a1887a6b2b;p=thirdparty%2FPython%2Fcpython.git Doc/library/sys.monitoring.rst: remove contradictory paragraph. (GH-113619) --- diff --git a/Doc/library/sys.monitoring.rst b/Doc/library/sys.monitoring.rst index 762581b7eda7..4980227c60b2 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 ------