get_mtime("/etc/xensource/pool.conf", &new_mtime);
if (new_mtime.tv_sec != pool_conf_mtime.tv_sec
|| new_mtime.tv_nsec != pool_conf_mtime.tv_nsec) {
+ pool_conf_mtime = new_mtime;
next_refresh = time_msec() + 10 * 1000;
return;
}
argv[0], strerror(errno));
}
- pool_conf_mtime = new_mtime;
free(argv[0]);
}
}