Synchronization of communication between server and plug-in

Status: Alpha

Brought to you by: pettersson, stefan19682

#23 Synchronization of communication between server and plug-in

Milestone: v0.0

Status: open

Owner: John Håkansson

Labels: uppaal-port (14)

Priority: 6

Updated: 2007-12-23

Created: 2007-12-17

Private: No

Handling of errors in the Uppaal PORT pluin is not consistent, because of synchronization problems between 'stdout' and 'stderr' from the server.

Anders Pettersson - 2007-12-23

milestone: --> v0.0
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: