Handle interrupt in Rascal callback.

usethesource · Dec 10, 2024 · fc17d67 · fc17d67
1 parent af85b8a
commit fc17d67
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/rascal/RascalLanguageServices.java b/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/rascal/RascalLanguageServices.java
@@ -339,8 +339,11 @@ public InterruptibleFuture<ITuple> getModuleRenames(List<FileRename> fileRenames
                 var loc = (ISourceLocation) args[0];
                 try {
                     return getEditorTreeOrParse(loc, documents).get();
-                } catch (ExecutionException | InterruptedException | IOException e) {
+                } catch (ExecutionException | IOException e) {
                     throw new RuntimeException(e);
+                } catch (InterruptedException e) {
+                    Thread.currentThread().interrupt();
+                    throw new RuntimeException(String.format("Thread %d was interrupted", Thread.currentThread().getId()));
                 }
             });
             try {