Feature #10404: Allow individual finalizers to be removed with ObjectSpace.undefine_finalizer

• Status: Assigned
• Assignee: matz (Yukihiro Matsumoto)
• Target version: -

[javawizard (Alex Boyd)]

Pretty self-explanatory: allow removal of individual define_finalizer blocks without removing all of them as undefine_finalizer currently does.

From an API standpoint, this could be done by having define_finalizer return some sort of unique value (maybe an integer, or perhaps the type is unspecified), and this value could then be passed as undefine_finalizer's second argument to remove just that finalizer.

[hsbt (Hiroshi SHIBATA)]

• Status changed from Open to Assigned