PROB - ProB for Rodin cannot start when special character in path
Description
Environment
Gliffy Diagrams
Activity
Sebastian Krings December 2, 2013 at 2:55 PM
This is due to a Bug in Java 1.6. Once Rodin / we migrate to Java 1.7 this will be fixed.
Jenkins Build Server December 2, 2013 at 1:18 PM
SUCCESS: Integrated in
ProB_eclipse_develop #1230
another attempt to fix (sebastian: rev 031dfef80c6a2e8884a329f45cd489f48282f880)
de.prob.core/src/de/prob/cli/CliStarter.java
Jenkins Build Server December 2, 2013 at 1:07 PM
SUCCESS: Integrated in
ProB_eclipse_develop #1229
another attempt to fix (sebastian: rev b4e62d815b9c323dcd7de08292c359d69bb72522)
de.prob.core/src/de/prob/cli/CliStarter.java
Jenkins Build Server December 2, 2013 at 12:43 PM
SUCCESS: Integrated in
ProB_eclipse_develop #1228
another attempt to fix (sebastian: rev 6fcfb8f45237d04602d0748077177f8c29d49551)
de.prob.core/src/de/prob/cli/CliStarter.java
Sebastian Krings November 29, 2013 at 3:12 PM
This might be related to a bug in Eclipse:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=145096
There are however a few suggested workarounds.
I look into it next week.
Details
Details
Assignee
Sebastian KringsReporter
Michael LeuschelPriority
Major
When the path to Rodin contains a special character (e.g., french accent and/or whit space) then ProB for Rodin fails to launch and opening various error dialogs.
This happened on Rodin 2.8 using latest stable ProB 1.0 for Rodin on a Mac using Mavericks.