2019-02-20 11:40 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000337mercuryBugpublic2014-06-20 10:58
Reporterwangp 
Assigned To 
PrioritylowSeverityminorReproducibilityalways
StatusnewResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000337: csharp stream problems
DescriptionIn the csharp backend (with mono), io.read_char returns immediately after one character instead of waiting for a whole line first. io.read_char returns 0 for some unprintable characters, e.g. backspace, delete. This also makes io.read_line_as_string return an error as soon as you hit backspace while editing a line.

Maybe we need to switch to buffered streams in csharp.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2014-06-20 10:58 wangp New Issue
+Issue History