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:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal	CC:	illum
Priority:	P1
Version:	3.6 Alpha 1
Hardware:	All
OS:	All
Architecture:

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.