Function encodePidAndPort

valdi/vscode_debugger/src/ui/processPicker.ts:129–129

(processId: number, port?: number)

//---- private

const encodePidAndPort = (processId: number, port?: number) => `${processId}:${port ?? ''}`;
const decodePidAndPort = (encoded: string) => {
  const [pid, port] = encoded.split(':');
  return { pid: Number(pid), port: port ? Number(port) : undefined };