First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 437
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Alexandre David <adavid@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: kees <c.pronk@tudelft.nl>
Add CC:
CC:
Remove selected CCs
URL:
Summary:

Attachment Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 437 depends on: Show dependency tree
Show dependency graph
Bug 437 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments:







View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2008-02-06 17:29 
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 From Alexandre David 2008-10-28 16:15:37 ------- 
Fixed in rev. 4070.
First Last Prev Next    No search results available      Search page      Enter new bug