Unverified Commit 4039cb51 authored by Andreas Klöckner's avatar Andreas Klöckner Committed by GitHub
Browse files

Wait longer for octave to die on __exit__ (#140) 

* Wait longer for octave to die on __exit__

* Improve octave kill timeout justification comment
parent ac37ba5b