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
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.6 Beta 2
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-04-10 18:01 CEST by Gerd Behrmann
Modified: 2006-04-10 18:02 CEST (History)
0 users

See Also:


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.