Skip to content

Commit

Permalink
fixed 12-year old bug in setMonitor that would make the try-finally d…
Browse files Browse the repository at this point in the history
…esign pattern around setting one and restoring the old one break and return always to the latest one. This then breaks VScode and Eclipse terminal features such as implemented in util::IDEServices.
  • Loading branch information
jurgenvinju committed Feb 2, 2023
1 parent 99d977b commit d5dc281
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/org/rascalmpl/interpreter/Evaluator.java
Original file line number Diff line number Diff line change
Expand Up @@ -314,7 +314,7 @@ public IRascalMonitor setMonitor(IRascalMonitor monitor) {
}

interrupt = false;
IRascalMonitor old = monitor;
IRascalMonitor old = this.monitor;
this.monitor = monitor;
return old;
}
Expand Down

0 comments on commit d5dc281

Please sign in to comment.