Commit 06de6d0
committed
MNT: Use Gcf.destroy(manager) instead of Gcf.destroy(manager.num)
Going through manager.num is unnecessary as destroy() only looks up
the manager for the given number again.
As the docstring of destroy() explains:
> It is recommended to pass a manager instance, to avoid confusion when
two managers share the same number.1 parent 7d5d027 commit 06de6d0
2 files changed
+5
-4
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
68 | 68 | | |
69 | 69 | | |
70 | 70 | | |
71 | | - | |
72 | | - | |
73 | | - | |
74 | | - | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
75 | 75 | | |
76 | 76 | | |
77 | 77 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
796 | 796 | | |
797 | 797 | | |
798 | 798 | | |
| 799 | + | |
799 | 800 | | |
800 | 801 | | |
801 | 802 | | |
| |||
0 commit comments