From c3dc7c63076a54efa6180d36449828c6f912c6e3 Mon Sep 17 00:00:00 2001
From: Akos Kitta <a.kitta@arduino.cc>
Date: Wed, 2 Nov 2022 16:36:56 +0100
Subject: [PATCH] fix: avoid ENOTDIR when opening second instance.

If the resource is a file, do not try to `readdir`, but return undefined

Closes #1590

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
---
 .../src/electron-main/theia/electron-main-application.ts      | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts b/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
index 61bb26cc..448ad198 100644
--- a/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
+++ b/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
@@ -181,8 +181,8 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
     if (!stats) {
       return undefined;
     }
-    if (stats.isFile() && path.endsWith('.ino')) {
-      return path;
+    if (stats.isFile()) {
+      return path.endsWith('.ino') ? path : undefined;
     }
     try {
       const entries = await fs.readdir(path, { withFileTypes: true });