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

Bug 319 - Cancel leads to: Lost server connection
Summary: Cancel leads to: Lost server connection
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-04-26 21:43 CEST by Ulrik Nyman
Modified: 2006-05-16 20:08 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ulrik Nyman 2006-04-26 21:43:43 CEST 
Pressing Cancel while verifying a property leads to an error message stateing that the server connection has been lost.

This bug was found by loading the fischer_symmetry system and verifying the only property. And then pressing cancel during the verification.

This also leads to the following uotput in the terminal window:


com.uppaal.engine.EngineException: java.io.IOException: Server connection lost
        at com.uppaal.engine.Engine.query(Engine.java:134)
        at com.uppaal.gui.verifier.Verification.a(Unknown Source)
        at q.run(Unknown Source)
        at java.util.concurrent.ThreadPoolExecutor$Worker.runTask(Unknown Source)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
        at java.lang.Thread.run(Unknown Source)
Caused by: java.io.IOException: Server connection lost
        at com.uppaal.engine.LexicalAnalyser.nextToken(LexicalAnalyser.java:123)        at com.uppaal.engine.Parser.parseId(Parser.java:31)
        at com.uppaal.engine.Parser.parseProlog(Parser.java:20)
        at com.uppaal.engine.Parser.parseQueryResult(Parser.java:288)
        at com.uppaal.engine.EngineStub.query(EngineStub.java:474)
        at com.uppaal.engine.Engine.query(Engine.java:131)
        ... 5 more
Comment 1 Gerd Behrmann 2006-04-26 21:48:48 CEST 
This has actually been like this since 3.0. A better message would be apropriate.
Comment 2 Gerd Behrmann 2006-05-16 20:08:29 CEST 
Reducing severity and priority. Will be fixed post 4.0.