Merge pull request #2027 from deepak1556/devtools_file_save_patch
authorCheng Zhao <zcbenz@gmail.com>
Wed, 24 Jun 2015 02:45:22 +0000 (10:45 +0800)
committerCheng Zhao <zcbenz@gmail.com>
Wed, 24 Jun 2015 02:45:22 +0000 (10:45 +0800)
devtools: writing to filesystem in FILE thread


Trivial merge