Merge remote-tracking branch 'origin/speedups2' into presentation_upgrade

3 files changed, 3 insertions, 3 deletions

diff --git a/src/server/DashSession/Session/agents/monitor.ts b/src/server/DashSession/Session/agents/monitor.ts
index 0fdaf07ff..9cb5ab576 100644
--- a/src/server/DashSession/Session/agents/monitor.ts
+++ b/src/server/DashSession/Session/agents/monitor.ts
@@ -178,7 +178,7 @@ export class Monitor extends IPCMessageReceiver {
             // ensure all necessary and no excess information is specified by the configuration file
             validate(config, configurationSchema, options);
             config = Utilities.preciseAssign({}, defaultConfig, config);
-        } catch (error) {
+        } catch (error: any) {
             if (error instanceof ValidationError) {
                 console.log(red("\nSession configuration failed."));
                 console.log("The given session.config.json configuration file is invalid.");
diff --git a/src/server/DashSession/Session/agents/promisified_ipc_manager.ts b/src/server/DashSession/Session/agents/promisified_ipc_manager.ts
index 95aa686e6..f6c8de521 100644
--- a/src/server/DashSession/Session/agents/promisified_ipc_manager.ts
+++ b/src/server/DashSession/Session/agents/promisified_ipc_manager.ts
@@ -157,7 +157,7 @@ export class PromisifiedIPCManager {
                 if (registered) {
                     results = await Promise.all(registered.map(handler => handler(args)));
                 }
-            } catch (e) {
+            } catch (e: any) {
                 error = e;
             }
             if (!this.isDestroyed && this.target.send) {
diff --git a/src/server/DashSession/Session/agents/server_worker.ts b/src/server/DashSession/Session/agents/server_worker.ts
index 84d35b40e..634b0113d 100644
--- a/src/server/DashSession/Session/agents/server_worker.ts
+++ b/src/server/DashSession/Session/agents/server_worker.ts
@@ -138,7 +138,7 @@ export class ServerWorker extends IPCMessageReceiver {
                         this.isInitialized = true;
                     }
                     this.shouldServerBeResponsive = true;
-                } catch (error) {
+                } catch (error: any) {
                     // if we expect the server to be unavailable, i.e. during compilation,
                     // the listening variable is false, activeExit will return early and the child
                     // process will continue