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

Bug 44

Summary:	(dot/period). protocol error
Product:	UPPAAL	Reporter:	Ulrik Nyman <ulrik>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	ASSIGNED ---
Severity:	minor
Priority:	P3
Version:	3.5.7
Hardware:	All
OS:	All
Architecture:

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.