define and use closeAndRename() after last write of xml dump file; convert from popen...

[lhc/web/wiklou.git] / thumb.php5

<?php require './thumb.php';