Leak fix, use same signature in disconnect (#14186) · dhuebner/theia@4a0228b

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744, actions/setup-node@1a4442cacd436585916779262731d5b162bc6ec7, actions/setup-python@b64ffcaf5b410884ad320a9cfac8866006a109aa. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Test (playwright): src/tests/theia-quick-command.test.ts#L1

src/tests/theia-quick-command.test.ts took 39.7s

Test (playwright): src/tests/theia-explorer-view.test.ts#L1

src/tests/theia-explorer-view.test.ts took 17.9s

Test (playwright): src/tests/theia-workspace.test.ts#L1

src/tests/theia-workspace.test.ts took 17.3s

Test (playwright): src/tests/theia-text-editor.test.ts#L1

src/tests/theia-text-editor.test.ts took 17.0s

Test (playwright): src/tests/theia-preference-view.test.ts#L1

src/tests/theia-preference-view.test.ts took 16.2s

1 skipped 76 passed (3.6m)