Allow empty schema files (#7840)

2024-10-07 16:52:45 +00:00 · 2017-12-01 14:10:32 -06:00
parent c3010ce2ba
commit 3dcadcccce
1 changed files with 1 additions and 1 deletions
@@ -85,7 +85,7 @@ try {
                printf('%03d -> %03d ...', $db_rev, $file_rev);

                $err = 0;
-                if ($data = file_get_contents($file)) {
+                if (($data = file_get_contents($file)) !== false) {
                    foreach (explode("\n", $data) as $line) {
                        if (trim($line)) {
                            d_echo("$line \n");