Details
-
Task
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
Description
It seems to be a frequent occurrence that developers forget to close the scanner. It's in a comment now but may be missed. Add an admonition.