|Summary:||Problems with recovering from cancelling a server|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Alpha 1|
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.