CRASH: quit() or exit()

Type quit() or exit() in a textport

crash

We’ll have a look, but could you use the project.quit() method instead of the global python methods?