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

Bug 91 - Crash with socketserver
Summary: Crash with socketserver
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.4.4
Hardware: PC Linux
: P2 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2004-01-29 13:58 CET by Gerd Behrmann
Modified: 2005-02-18 11:04 CET (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 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.