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

Bug 212

Summary: Problems with recovering from cancelling a server
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal CC: illum
Priority: P1    
Version: 3.6 Alpha 1   
Hardware: All   
OS: All   

Description Gerd Behrmann 2005-11-02 14:37:24 CET
In certain situations the GUI has severe problems with recovering from cancelling a long running 
verification. Symptoms are different, but often several dialogs pop up with error messages about pipes 
being closed or bad file descriptors.

Pressing F5 often solves the problem.
Comment 1 Gerd Behrmann 2005-12-15 14:37:21 CET
Fixed on the trunk.