()
| 48 | CORS(app) |
| 49 | |
| 50 | def start_kernel_manager(): |
| 51 | global kernel_manager_process |
| 52 | |
| 53 | kernel_manager_script_path = os.path.join( |
| 54 | pathlib.Path(__file__).parent.resolve(), "kernel_manager.py" |
| 55 | ) |
| 56 | kernel_manager_process = subprocess.Popen( |
| 57 | [sys.executable, kernel_manager_script_path] |
| 58 | ) |
| 59 | |
| 60 | # Write PID as <pid>.pid to config.KERNEL_PID_DIR |
| 61 | os.makedirs(config.KERNEL_PID_DIR, exist_ok=True) |
| 62 | with open(os.path.join(config.KERNEL_PID_DIR, "%d.pid" % kernel_manager_process.pid), "w") as p: |
| 63 | p.write("kernel_manager") |
| 64 | |
| 65 | def cleanup_kernel_program(): |
| 66 | kernel_manager.cleanup_spawned_processes() |
no outgoing calls
no test coverage detected