Use unlink()

This commit is contained in:
Scott Ullrich 2009-09-04 17:19:59 -04:00
parent 5a439cb547
commit 3dfd1523cc

View File

@ -56,7 +56,7 @@ function file_is_for_platform($filename) {
return false;
$upgrade_is_for_platform = trim(file_get_contents("/tmp/etc/platform"));
if($g['platform'] == $upgrade_is_for_platform) {
unlink_file("/tmp/etc/platform");
unlink("/tmp/etc/platform");
return true;
}
return false;