ord
ord copied to clipboard
fix panic in ord env shutdown
fixes #3460; this panic was still occurring in 0.18.5 on my Windows machine. I was able to test this change there and it fixes the issue by allowing for shutdown without panic.