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

Bug 91

Summary: Crash with socketserver
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: normal    
Priority: P2    
Version: 3.4.4   
Hardware: PC   
OS: Linux   

Description Gerd Behrmann 2004-01-29 13:58:58 CET
On Debian unstable, the socketserver crashes when a client connects to it. This
seems to be related to updated versions of libraries.
Comment 1 Gerd Behrmann 2004-03-12 10:06:09 CET
This is a consequence of static linking. Is it acceptable to use dynamic linking? 
Comment 2 Gerd Behrmann 2004-03-22 14:20:18 CET
For the next release (3.4.5) we will use dynamic linking for the socketserver on
Linux. This should solve this problem.