rubinius/rubinius — pull request #3032 by razielgn (2014-05-17 17:14:44+00:00)
Title: Always flush standard IO when exiting.

Fixes #3028.