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

Bug 349

Summary: Command line export to EPS is obscured by SwixML message
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal CC: marius
Priority: P2    
Version: 4.0.2   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-09-22 09:36:24 CEST
When using the --exportToEPS option in the GUI, the EPS is written to stdout. The intention is that the user can redirect the output to a file. However, the SwixML library writes a startup message to stdout, which is redirected together with the EPS. Therefore, the --exportToEPS feature is broken in 4.0.2.
Comment 1 Gerd Behrmann 2006-09-22 09:36:59 CEST
Fixed on the 4.0 branch from rev. 2666.
Comment 2 Gerd Behrmann 2006-09-23 11:41:23 CEST
Fixed on the trunk from rev. 2679.