-
- Downloads
Report CLI startup exceptions in one place where they are caught
The previous code expected all exceptions to be reported before they are thrown, but not everything did that.
Showing
- de.prob.core/src/de/prob/cli/CliStarter.java 5 additions, 15 deletionsde.prob.core/src/de/prob/cli/CliStarter.java
- de.prob.core/src/de/prob/cli/clipatterns/PortPattern.java 1 addition, 8 deletionsde.prob.core/src/de/prob/cli/clipatterns/PortPattern.java
- de.prob.core/src/de/prob/core/internal/AnimatorImpl.java 1 addition, 2 deletionsde.prob.core/src/de/prob/core/internal/AnimatorImpl.java
- de.prob.core/src/de/prob/core/internal/ServerConnection.java 1 addition, 2 deletionsde.prob.core/src/de/prob/core/internal/ServerConnection.java
Loading
Please register or sign in to comment