mirror of
https://github.com/KevinMidboe/python-gpiozero.git
synced 2025-12-08 20:39:01 +00:00
Permit replacement of pin_factory without closing old factory. However, continue closing devices associated with extant pin factory at script termination.