|Summary:||server crashes during startup due to disk name problem|
|Component:||Engine||Assignee:||Alexandre David <adavid>|
Description kees 2008-02-06 17:29:34 CET
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. E.g.: 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: C:\>H:\uppaal-4.0.6\uppaal.jar 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
Comment 1 Alexandre David 2008-10-28 16:15:37 CET
Fixed in rev. 4070.