| 189 | |
| 190 | # Executes a native executable server process |
| 191 | class BackgroundServerProcess: |
| 192 | def __init__(self, args): |
| 193 | self.process = None |
| 194 | self.args = args |
| 195 | |
| 196 | def __enter__(self): |
| 197 | print('Running background server: ' + str(self.args)) |
| 198 | self.process = Popen(self.args) |
| 199 | return self |
| 200 | |
| 201 | def __exit__(self, *args, **kwargs): |
| 202 | clean_process(self.process) |
| 203 | |
| 204 | |
| 205 | def NodeJsWebSocketEchoServerProcess(): |
no outgoing calls