Actually flush stdio rather than all io.

pull/1012/head
Frans de Jonge 10 years ago
parent 65d3cacd7c
commit 3334903e8c

@ -21,7 +21,7 @@ local function LvDEBUG(lv, ...)
android.LOGI("#"..line)
else
print("#"..line)
io.flush()
io.stdout:flush()
end
end

Loading…
Cancel
Save