|Summary:||(dot/period). protocol error|
|Product:||UPPAAL||Reporter:||Ulrik Nyman <ulrik>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Ulrik Nyman 2003-09-10 13:39:21 CEST
When writing a .(dot/period) by itself at the start of a line somewhere in the declarations, the server will crash when performing a sytax check. This is because the .(dot/period) symbol is used as a special symbol in the current communication protocal between the GUI and the server. This problem will be fixed with the new SOAP interface between the GUI and engine.
Comment 1 Gerd Behrmann 2003-09-11 17:21:08 CEST
This cannot be fixed without fixing the protocol (by introducing escape sequences). Since we are working on a completely new version of the SOAP protocol, I will assign this bug to Ulrik.
Comment 2 Ulrik Nyman 2003-09-21 13:44:34 CEST
This bug will be fixed with the introduction of SOAP protocol for the communication between the GUI and the VerificationEngine.
Comment 3 Gerd Behrmann 2005-06-29 21:36:50 CEST
Reopening the bug for 3.5.
Comment 4 Gerd Behrmann 2005-07-02 18:56:36 CEST
I will try to fix this.