tree 80a756cfd0cca0bc3b841613df6a7a2b4c094dbb
parent 337966976e5859996be830976f4fc1c300730a26
author Taewoo Kim <wangsaeu@yahoo.com> 1486935350 -0800
committer Taewoo Kim <wangsaeu@gmail.com> 1486959083 -0800

Truncate a temporary file before deleting it.

 - Before RunFileReader tries to delete a temporary file,
   make sure to truncate the file since OS might keep the
   deleted file for a while, thus taking disk space.

Change-Id: Ie906c9f950e2f31af6f1b5ecc9cb35829d3edf8a
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1501
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>