Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000403mercuryBugpublic2016-02-09 10:022016-02-18 14:36
Reporterjuliensf 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000403: Normal termination of a program in the Java grade does not flush stdout
DescriptionNormal termination of a program compiled in the Java grade does not flush stdout.
This is leading to the failure of (at least) the following test cases in the Java grade:

    general/duplicate_label
    general/interpreter
    general/prune_switch

(And probably some others in the hard_coded directory.)
TagsNo tags attached.
Relationships
Attached Files

Notes
(0000877)
juliensf   
2016-02-18 14:36   
Workaround committed in commit f56b11d. The workaround inserts calls to flush stdout and stderr
before System.exit() is called. The affected test cases all now pass (or fail for other non-related reasons).

Issue History
Date ModifiedUsernameFieldChange
2016-02-09 10:02juliensfNew Issue
2016-02-18 14:34juliensfAssigned To => juliensf
2016-02-18 14:34juliensfStatusnew => assigned
2016-02-18 14:36juliensfNote Added: 0000877
2016-02-18 14:36juliensfNote Edited: 0000877bug_revision_view_page.php?bugnote_id=877#r38