Summary: | Problems with text format: On special chars GUI produces empty error message or crashes server | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | René Gøttler <reneg> |
Component: | GUI | Assignee: | Gerd Behrmann <behrmann> |
Status: | RESOLVED FIXED | ||
Severity: | minor | ||
Priority: | P1 | ||
Version: | 3.5.6 | ||
Hardware: | PC | ||
OS: | Windows 2000 | ||
Architecture: |
Description
René Gøttler
2005-05-18 15:13:35 CEST
Bug reproduced. Should this bug maybe be split into a bug both in the GUI and in the server? Reassigning The problem seems to be isolated to Windows. 3.4.10 does not seem to suffer from the problem. Must be resolved before 3.6 final. Increasing priority. Fixed on the trunk from rev. 1658. |