PHP文件（）无法处理空的.txt文件

Question

我有一个名为database.txt的文件，我试图通过加载file（）来向其写入数据。如果数据库文件中包含一些文本，则代码运行正常，但如果文件为空，则无法加载它，而die("ERROR: Could not load database")将被执行。

function nameTaken($name) {
    $flag = false;
    $arr = file('database.txt') or die("ERROR: Could not load 
        database");
    foreach ($arr as $line) {
       if (substr($line, 0, strlen($name) - 1) == $name) {
           $flag = true;
       } 
     }
     return $flag;
 }

如何从空文件开始？