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

Bug 309

Summary: Server path detection is broken
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.6 Beta 2   
Hardware: All   
OS: All   

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.