Merge pull request #33 from CodinGame/fix-bash-starting-time

CGNonofr · web-flow · commit fd9afbe099c6 · 2022-04-21T15:20:43.000+02:00
Consider bash server ready after 1 seconds
diff --git a/src/staticOptions.ts b/src/staticOptions.ts
@@ -22,7 +22,8 @@ const staticOptions = asLanguageClientOptionsById({
         pattern: '**/*.bash'
       }
     ],
-    mutualizable: true
+    mutualizable: true,
+    maxInitializeDuration: 1000
   },
   c: {
     documentSelector: [
