()
| 342 | |
| 343 | |
| 344 | def clean_up_interpreters(): |
| 345 | for interp in interpreters.list_all(): |
| 346 | if interp.id == 0: # main |
| 347 | continue |
| 348 | try: |
| 349 | interp.close() |
| 350 | except _interpreters.InterpreterError: |
| 351 | pass # already destroyed |
| 352 | |
| 353 | |
| 354 | def _run_output(interp, request, init=None): |