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

Bug 521

Summary: socketserver missing
Product: UPPAAL Reporter: Martin Stigge <martin.stigge>
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: minor    
Priority: P2    
Version: 4.0.13   
Hardware: PC   
OS: Linux   

Description Martin Stigge 2011-08-11 16:18:29 CEST
Please include the socketserver binary into the distribution package again. It's missing in 4.0.13 but was still present in 4.0.7.