bugfix: Do not fail while creating reports

scalameta · Oct 11, 2024 · 5094fa5 · 5094fa5
1 parent 099f299
commit 5094fa5
Showing 1 changed file with 34 additions and 30 deletions.
diff --git a/mtags-shared/src/main/scala/scala/meta/internal/metals/ReportContext.scala b/mtags-shared/src/main/scala/scala/meta/internal/metals/ReportContext.scala
@@ -7,6 +7,7 @@ import java.util.concurrent.atomic.AtomicBoolean
 import java.util.concurrent.atomic.AtomicReference
 
 import scala.util.Try
+import scala.util.control.NonFatal
 import scala.util.matching.Regex
 
 import scala.meta.internal.metals.utils.LimitedFilesManager
@@ -106,14 +107,18 @@ class StdReporter(
 
   def readInIds(): Unit = {
     val reports = getReports().flatMap { report =>
-      val lines = Files.readAllLines(report.file.toPath())
-      if (lines.size() > 0) {
-        lines.get(0) match {
-          case id if id.startsWith(Report.idPrefix) =>
-            Some((id.stripPrefix(Report.idPrefix) -> report.toPath))
-          case _ => None
-        }
-      } else None
+      try {
+        val lines = Files.readAllLines(report.file.toPath())
+        if (lines.size() > 0) {
+          lines.get(0) match {
+            case id if id.startsWith(Report.idPrefix) =>
+              Some((id.stripPrefix(Report.idPrefix) -> report.toPath))
+            case _ => None
+          }
+        } else None
+      } catch {
+        case NonFatal(_) => None
+      }
     }.toMap
     reported.updateAndGet(_ ++ reports)
   }
@@ -123,30 +128,29 @@ class StdReporter(
       ifVerbose: Boolean = false
   ): Option[Path] =
     if (ifVerbose && !level.isVerbose) None
-    else {
-      if (initialized.compareAndSet(false, true)) {
-        readInIds()
-      }
-      val sanitizedId = report.id.map(sanitize)
-      val path = reportPath(report)
-
-      val optDuplicate =
-        for {
-          id <- sanitizedId
-          reportedMap = reported.getAndUpdate(map =>
-            if (map.contains(id)) map else map + (id -> path)
-          )
-          duplicate <- reportedMap.get(id)
-        } yield duplicate
-
-      optDuplicate.orElse {
-        Try {
+    else
+      Try {
+        if (initialized.compareAndSet(false, true)) {
+          readInIds()
+        }
+        val sanitizedId = report.id.map(sanitize)
+        val path = reportPath(report)
+
+        val optDuplicate =
+          for {
+            id <- sanitizedId
+            reportedMap = reported.getAndUpdate(map =>
+              if (map.contains(id)) map else map + (id -> path)
+            )
+            duplicate <- reportedMap.get(id)
+          } yield duplicate
+
+        optDuplicate.orElse {
           path.createDirectories()
           path.writeText(sanitize(report.fullText(withIdAndSummary = true)))
-          path
-        }.toOption
-      }
-    }
+          Some(path)
+        }
+      }.toOption.flatten
 
   override def sanitize(text: String): String = {
     val textAfterWokspaceReplace =