This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 437 - server crashes during startup due to disk name problem
Summary: server crashes during startup due to disk name problem
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.6
Hardware: PC Windows XP
: P2 normal
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2008-02-06 17:29 CET by kees
Modified: 2008-10-28 16:15 CET (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.