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
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-04-26 21:43 CEST by Ulrik Nyman
Modified: 2006-05-16 20:08 CEST (History)
0 users

See Also:


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: Server connection lost
        at com.uppaal.engine.Engine.query(
        at com.uppaal.gui.verifier.Verification.a(Unknown Source)
        at Source)
        at java.util.concurrent.ThreadPoolExecutor$Worker.runTask(Unknown Source)
        at java.util.concurrent.ThreadPoolExecutor$ Source)
        at Source)
Caused by: Server connection lost
        at com.uppaal.engine.LexicalAnalyser.nextToken(        at com.uppaal.engine.Parser.parseId(
        at com.uppaal.engine.Parser.parseProlog(
        at com.uppaal.engine.Parser.parseQueryResult(
        at com.uppaal.engine.EngineStub.query(
        at com.uppaal.engine.Engine.query(
        ... 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.