Make sure a busy backend does not block the gui on close, kill the backend after a timeout
Make sure a busy backend does not block the gui on close, kill the backend after a timeout

pyQode/pyqode.core,pyQode/pyqode.core,zwadar/pyqode.core