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

Bug 309 - Server path detection is broken
Summary: Server path detection is broken
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.6 Beta 2
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-04-10 18:01 CEST by Gerd Behrmann
Modified: 2006-04-10 18:02 CEST (History)
0 users

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 Gerd Behrmann 2006-04-10 18:01:33 CEST 
The GUI uses the position of the UPPAAL jar file as a landmark to fine the server executables. In 3.6 beta 2 the jar file was renamed from uppaal2k.jar to uppaal.jar. However, the GUI still searches the class path for uppaal2k.jar to find the server. Hence, the GUI cannot find the server binary unless the current directory contains the bin- directory or the server path is explicitly given on the command line. A temporary workaround is to rename the jar file from uppaal.jar to uppaal2k.jar.
Comment 1 Gerd Behrmann 2006-04-10 18:02:45 CEST 
Fixed on the trunk from rev. 1709.