When starting up Uppaal 4.0.6 the server crashes in an environment where the home disk is not the disk where Upaal has been installed on.
NOTE: the problem does occur in 4.0.6 but did NOT occur in 3.4.11.
In my installation Uppaal is installed on H:\uppaal-4.0.6.
My home disk (working disk) is C:
When I start Uppaal in the following way:
I get the following error message:
Caught unexpected com.uppaal.engine.EngineException: Cannot run "Uppaal-4.0.6\bin-Win32\server.exe": CreateProcess error=3; The system cannot find the path specified.
The problem is believed to be that the drive specifier is not prepended to the file name.
Regards, C. Pronk
Fixed in rev. 4070.