Clone
Taewoo Kim <wangsaeu@yahoo.com>
committed
on 12 Feb 17
Truncate a temporary file before deleting it.
- Before RunFileReader tries to delete a temporary file,
make sure to truncate the file si… Show more
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>

Show less

master + 5 more