diff mx/mx_graal.py @ 21479:2405d3b983cc

PrintWriter needs to be flushed more often than PrintStream
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Mon, 25 May 2015 09:09:07 +0200
parents f172a195a8a9
children 2fe8729dd813 3b8bbf51d320
line wrap: on
line diff