(procNum: number, prefix: string = 'gdbPort')
| 491 | } |
| 492 | |
| 493 | export function createPortName(procNum: number, prefix: string = 'gdbPort'): string { |
| 494 | return prefix + ((procNum === 0) ? '' : procNum.toString()); |
| 495 | } |
| 496 | |
| 497 | export function getAnyFreePort(preferred: number): Promise<number> { |
| 498 | return new Promise(async (resolve, reject) => { |
no test coverage detected