How to disable socket.io's pingInterval/pingTimeout in dev mode

[kittaakos]

Hi there,

When developing a Theia-based app, I often get a connection is closed error while having a breakpoint in the browser. Presumably, this is due to the hard-coded ping interval and timeout. If I am not mistaken, there were no such timeouts before 1b44c0f. Would it be possible to restore that behavior for dev mode?

vendors-node_modules…lugin-b778d7.js:944 Uncaught (in promise) Error: connection is closed
    at Object.create (vendors-node_modules…lugin-b778d7.js:944)
    at Object.<anonymous> (vendors-node_modules…lugin-b778d7.js:966)
    at Object.disposable.dispose (bundle.js:61188)
    at DisposableCollection.dispose (bundle.js:61165)
    at RPCProtocolImpl.dispose (vendors-node_modules…lugin-b778d7.js:977)
    at RPCProtocolImpl.disposable.dispose (bundle.js:61188)
    at DisposableCollection.dispose (bundle.js:61165)
    at vendors-node_modules…heia_-4a4d9f.js:344
    at bundle.js:61745
    at CallbackList.invoke (bundle.js:61751)

I am using 1.25.0 Theia, maybe it's different from the HEAD.

Thank you for the great work ❤️

[kittaakos]

I customized the MessagingContribution downstream and used a much bigger ping timeout when running in dev mode.

diff --git a/.vscode/launch.json b/.vscode/launch.json
index 06f959e8..045609c0 100644
--- a/.vscode/launch.json
+++ b/.vscode/launch.json
@@ -21,7 +21,8 @@
         "--plugins=local-dir:../plugins",
         "--hosted-plugin-inspect=9339",
         "--content-trace",
-        "--open-devtools"
+        "--open-devtools",
+        "--no-timeout",
       ],
       "env": {
         "NODE_ENV": "development"
@@ -56,7 +57,8 @@
         "--remote-debugging-port=9222",
         "--no-app-auto-install",
         "--plugins=local-dir:../plugins",
-        "--hosted-plugin-inspect=9339"
+        "--hosted-plugin-inspect=9339",
+        "--no-timeout",
       ],
       "env": {
         "NODE_ENV": "development"
diff --git a/arduino-ide-extension/src/node/arduino-ide-backend-module.ts b/arduino-ide-extension/src/node/arduino-ide-backend-module.ts
index 9d3ad355..09294f96 100644
--- a/arduino-ide-extension/src/node/arduino-ide-backend-module.ts
+++ b/arduino-ide-extension/src/node/arduino-ide-backend-module.ts
@@ -109,6 +109,8 @@ import {
 } from '../common/protocol/survey-service';
 import { IsTempSketch } from './is-temp-sketch';
 import { rebindNsfwFileSystemWatcher } from './theia/filesystem/nsfw-watcher/nsfw-bindings';
+import { MessagingContribution } from './theia/core/messaging-contribution';
+import { MessagingService } from '@theia/core/lib/node/messaging/messaging-service';
 
 export default new ContainerModule((bind, unbind, isBound, rebind) => {
   bind(BackendApplication).toSelf().inSingletonScope();
@@ -379,6 +381,9 @@ export default new ContainerModule((bind, unbind, isBound, rebind) => {
     .inSingletonScope();
 
   bind(IsTempSketch).toSelf().inSingletonScope();
+  rebind(MessagingService.Identifier)
+    .to(MessagingContribution)
+    .inSingletonScope();
 });