/* Overwrite the file with data from $rows
* NOTE! Previous locks are broken by this function */
function overwrite(&$rows) {
/* Overwrite the file with data from $rows
* NOTE! Previous locks are broken by this function */
function overwrite(&$rows) {